Kommutativer Halbring/0 mal 0/Fakt

In einem kommutativen Halbring gilt

${}0\cdot 0=0\,.$

Zum Beweis, Alternativen Beweis erstellen