In de restklassenring Q[X]/(X2 - 2) is
het element dat X bevat(dus X is een representant). Het kwadraat
2
is dan de klasse van X2.
Maar dit is gelijk aan de equivalentieklasse
die 2 bevat, omdat X2 = 2 mod X2 - 2.
Volgens bovenstaande afspraak schrijven we kortweg
2 = 2.
Dit betekent niet dat
=
2.
We zien hier een manier om op symbolische wijze met `iets waarvan het kwadraat
2 is' om te springen. Er is geen numerieke waarde in het spel.