Kommutativer Halbring/0 mal 0/Fakt/Beweis

Beweis

Dies ergibt sich aus

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

Zur bewiesenen Aussage