Es sei M {\displaystyle {}M} eine Menge mit einer assoziativen Verknüpfung darauf, die wir als ⋆ {\displaystyle {}\star } schreiben. Zeige, dass