Korrektheit des RSA-Verfahrens

Die Korrektheit stützt sich auf den Satz von Fermat/Euler:

$x$ rel. prim zu $n \Rightarrow x^{\varphi(n)} \equiv 1$ mod $n$