z.Z.:
a, b quadratfreie ganze Zahlen, die nicht beide negativ sind.Wenn aX^2+bY^2=Z^2 eine nicht-triviale Lösung über $\mathbb{Q}$$ besitzt, so gilt:
1. a ist Quadrat modulo b
2. b ist Quadrat modulo a
3. -(ab)/(d^2) ist Quadrat modulo d, für d=ggT(a,b).
Es sollen beide Richtungen gezeigt werden.