vermutlich hast du ja eine Def. für aΞb mod n.
Möglicherweise die:
a-b ist Vielfaches von n
wenn du das anwendest musst du für
m ≡ (n+1) * m mod n
zeigen
m - (n+1)*m ist Vielfaches von n oder kürzer
m - n*m - m ist Vielfaches von n oder kürzer
-n*m ist Vielfaches von n
Und das stimmt.