Zeige, dass die Verknüpfung
(wobei man das kgV ≥ 0 {\displaystyle {}\operatorname {kgV} \,\geq 0} wählt), ein Monoid definiert.