奇数と仮定すると2で割り切れない
偶数ではこの命題は破綻する
だからこれは近似らしい