Antwort
Die Induktionsvoraussetzung sagt: "7 teilt (2^(3n) + 13)" oder in anderen Worten "7 ist ein Teiler von "(2^(3n) + 13)". Das heißt aber: Es existiert ein k aus der Menge der natürlichen Zahlen mit
oder
Und die 13 wird durch die linke Seite oben ersetzt.