bijective proof
本はありません。