とする．このとき が全単射であること を示す． (証明の方針) 関数のかたち とする． ① が全射であること ② が単射であること ①について を示したい．そのために を示せば十分である．また，関数のかたちに注視すると でありは加法で閉じているから と書ける…