Oder so:
4^n -1 = (2²)^n -1 = 2^(2n) -1 = (2^n)²-1² = (3. binomische Formel) = (2^n+1)(2^n-1). Da 2 eine Primzahl ist, ist 2^n nie durch 3 teilbar. Von drei aufeinanderfolgenden natürlichen Zahlen - in diesem Fall 2^n-1, 2^n, 2^n+1 ist immer eine durch 3 teilbar. Also muss einer der beiden Faktoren von oben durch 3 teilbar sein, also auch 4^n-1.
Mit dieser Überlegung sieht man auch, dass der Vorgänger jeder natürlichen Potenz von jedem Quadrat einer Primzahl - außer 3 natürlich - durch 3 teilbar ist. Genau genommen gilt es sogar für jede natürliche Potenz von jedem Quadrat einer nicht durch 3 teilbaren Ausgangszahl
(Vorausgesetzt ich hab keinen Denkfehler eingebaut.)
Ach hätten wir doch Latex hier, dann könnt man solche Posts auch lesen...