Avem
Din conditia de asociativitate, rezulta
.
Daca
, legea devine
.
In acest caz elementul neutru este 0 iar
.
Daca
atunci x' nu este intreg pentru orice x. Rezulta
, contradictie cu injectivitatea lui f.
Deci
. Rezulta
. Atunci legea devine
care determina o structura de grup pe Z.
Deci m poate lua o singura valoare.