Added zero self conjugate theorem to semiring properties.