Rückrichtung:
k2 ist teilbar durch 3⇒ k ist teilbar durch 3.
Geht wohl so: k2 ist teilbar durch 3
==> k^2 enthält den Primfaktor 3
Da k^2 die gleichen Primfaktoren von k enthält,
also nur eben jeden in doppelter Anzahl,
enthält auch k den Primfaktor 3.
==> k ist teilbar durch 3.