と書くと、φの単射性より、formula_31は長さformula_32の符号語の数に等しい。