Aufgabe:
Seien \( a, x, y, q \) ganze Zahlen, und es gelte \( a x \equiv a y(\bmod q) \). Sei \( d=(a, q) \). Zeigen Sie, dass \( x \equiv y(\bmod q / d) \) gilt.
Problem/Ansatz:
Moin, ich benötige Hilfe für diese Aufgabe. Wie sieht der Beweis hierfür aus?