[離散][四版習題詳解] P.33 1-52

除了解答那個點外，是否另增一個：
在inductive step裡，假設n為欲証之結果，應改為n=k(k屬於N)時成立

因為欲証之結果已經被利用了，如果中間沒有什麼證明缺失的話(這題有)，得到的証明結果不可能與假設相左。