Man darf sicher sein, dass das Produkt einer ganzen Zahl k multipliziert mit 6 duch 6 teilbar sein muss.
Die Annahme des Beweises lautet also:
Das erste Glied ist durch 6 teilbar. Zieht man von einem Folgeglied das vorangehende Element ab und erhält dabei eine durch 6 teilbare Zahl, so ist das Folgeglied auch durch 6 teilbar.
$$a_{n+1} -a_n=6 k$$
Sollte sich nach Umformung der Annahme zeigen, dass k nicht zwingend eine ganze Zahl ist, dann gilt die Annahme nicht. Wenn doch, dann schon.