Kommutativer Halbring/0 mal 0/Fakt/Beweis

Dies ergibt sich aus

${\displaystyle {}0\cdot 0=0\cdot 0+0=0\cdot 0+0\cdot 1=0\cdot (0+1)=0\cdot 1=0\,.}$