符号定理
【ふごうていり】
【fugouteiri】
编码定理