Es ist [3]=[10] und [79]=[2]. Zeige [3]*[79]=[10]*[2], aber im Allgemeinfall. Also aus [a]=[c] und [b]=[d] folgt [ab]=[cd]. Das ist die Wohldefiniertheit. Es ist egal, mit welchen Repraesentanten ich rechne, ich lande mit dem Ergebnis immer in der einen Produktklasse.