Kommutativer Halbring/0 mal 0/Fakt

In einem kommutativen Halbring gilt