
$t \equiv u \bmod{n}$
