>>337
残念ながら、(e)から(f)は導出できないよ。(f)から(e)は導出できるけどね。
「完全数学的帰納法なら導出できる」というのは君の勘違い。
実際には全く導出できない。

＞その証明は簡単だから省略している

違うね。実際には導出できない。省略した、ではなくて、導出できない。
(e)から(f)は導出不可能。