Bei der Besonderheit der 4 und dem verknüpfen komm ich nicht ganz klar. Wenn ich a ≡ x^2 mod p und b ≡ y^2 mod p habe und diese mit der Besonderheit der 4 darstellen möchte komm ich auf
a ≡ x^2 ≡ (p-1) mod p aber hat mein b nicht jetzt genau die gleiche Form, da a und b zum gleichen p modulo sind?