Kommutativer Halbring/0 mal 0/Fakt