gibt es ein Rechengesetz, das besagt, dass
x ≡ y (mod q) ⇒ x^p ≡ y^p (mod q) ?
Ich glaube das steht hier:
https://de.wikipedia.org/wiki/Kongruenz_(Zahlentheorie)#Potenzen
Eine Kongruenz darf fast genau so, wie eine Gleichung behandelt werden. Insbesondere darf man auf beiden Seiten (mit kleinen Einschränkungen) potenzieren