Die Behauptung ist eigentlich, dass der Term links immer eine gerade Zahl ist.
Direkter Beweis:
Nun betrachte ich (2a - 1)^n - 1
Da a Element N*, gilt 2a gerade und 2a - 1 ungerade.
Ungerade^n kann keinen Faktor 2 enthalten und ist deshalb wieder ungerade.
Nun noch - 1: Es resultiert eine gerade Zahl. Sie lässt sich als 2*eine natürliche Zahl schreiben. qed.