m を 1 以上の奇数とし, n を 0 以上の整数とする.2^n 元集合を定義域とし, m*2^n 元集合が終域の 1:1 map の値域は奇数通りある.

続きを読む