Im Restklassenmodul V / U {\displaystyle {}V/U} gilt V / U = m ( V / U ) {\displaystyle {}V/U={\mathfrak {m}}{\left(V/U\right)}} . Aus Fakt folgt V / U = 0 {\displaystyle {}V/U=0} , also U = V {\displaystyle {}U=V} .