take Trivial-multMagma ; :: thesis: ( Trivial-multMagma is strict & not Trivial-multMagma is empty & Trivial-multMagma is trivial )
thus ( Trivial-multMagma is strict & not Trivial-multMagma is empty & Trivial-multMagma is trivial ) ; :: thesis: verum