[離散]P1-36．是打錯字，還是？

解答寫：
假設n < = k時命題成立
考慮n=k：

我要問的是，前面已寫假設n<=k成立了，後面怎麼又n=k，怎麼假設與考慮同時出現兩個等號，考慮不是我們要證的嗎？都被假設成立了，那還證的話不矛盾嗎？

是不是該改成：
假設n < k時命題成立
考慮n=k：

謝謝!!