Das inverse Element zu 3 {\displaystyle {}3} in Z / ( 7 ) {\displaystyle {}\mathbb {Z} /(7)} ist 5 {\displaystyle {}5} , somit ist in I I ′ = I I − 2 ⋅ 5 I = I I + 4 I {\displaystyle {}II'=II-2\cdot 5I=II+4I} die Variable x {\displaystyle {}x} eliminiert. Dies ergibt