Opgave
Laat zien dat de vermenigvuldiging van restklassen goed gedefinieerd is.