https://9dok.org/document/qmj804w4-directly-decomposable-congruence-commutative-semirings-eigenthaler-received-abstract.html