1の言ってるシャノンの定理って
平均符号長が・・・ってやつじゃないよね?