全単射的証明
本はありません。