Wer sagt denn, dass ich eine DIREKTE Aussage über Reste getroffen habe?
27 ≡13 mod 7
bedeutet NICHT "27 lässt den Rest 13 bei Teilung durch 7"
(ja, die Taste für Großbuchstaben klemmt auch manchmal)
sondern es bedeutet
"27 und 13 lassen bei Teilung durch 7 den selben Rest".
Das war jetzt umgangssprachlich.
Mache dich besser mit der Definition von a ≡b mod m vetraut.
Das ist nämlich definiert als "m teilt (b-a)".
Ich kann mir nicht vorstellen, dass du ein Problem hast mit
"7 teilt 13-27".