Wenn wir die natürliche Zahl in 3 Primfaktoren p1, p2 und p3 zerlegen können, dann gilt doch
a = p1·p2·p3
a^2 = a·a = p1·p2·p3·p1·p2·p3 = p1^2·p2^2·p3^2
Wenn also a gerade ist enthält a den Faktor 2. Damit enthält a^2 den Faktor 2^2 = 4.
Enthält a nicht den Faktor 2, dann enthält auch a^2 den Faktor 2 nicht und a^2 wäre dann nicht gerade.