>>231
合成数pの集合に対するrへの対応が全単射になることの証明は出来ていない
実際ならない>>185