Natürlich, aber das ist die komplette Aufgabenstellung, da steht nichts Anderes dabei! Ich habe den Beweis nochmal mit Fällen probiert:
a² ist kongruent 0,1,4,7 mod 9,
Fall1: Wenn 9 sowohl x² als auch y² und z² teilt dann muss die Behauptung gelten
Fall 2: Wenn 9 entweder x² oder y² oder z² teilt und die die nicht durch 9 teilbar sind einen Rest von 1,4 oder 7 haben so folgt, dass 9 entweder x²-y² oder z²-x² oder y²-z² teilt
Fall 3: Hat genau eine der Zahlen x²,y² oder z² den Rest 1,4 oder 7 und sind die beiden anderen durch 9 teilbar, so folgt, dass 9 entweder x²-y² oder z²-x² oder y²-z² teilt
Also ist ja mind. eine Zahl durch 9 teilbar.
Aber ich hab das Gefühl da fehlt was...