>>569
あ〜、>>562と同様にして
Zと Z/〜 との間に全単射が存在することは構成的に示せるな。
だが、標準的な全射は全単射ではない。