Opgave
Laat zien dat het product van restklassen goed gedefinieerd is.