Wenn man eine Folgerung direkt zeigt dann verwendet man doch immer die Voraussetzung, was für einen Sinn hätte das ganze denn sonst. Den IA würde ich bei n=1 machen (oder zusätzlich was zu sagen).
Multiplizier doch einfach den Term in meinem Hinweis aus und verwende, dass das Produkt zweier ganzen Zahlen eine ganze Zahl ist (linke Seite) und die Summe bzw. Differenz zweier ganzen Zahlen ebenfalls eine ganze Zahl ergibt.