take Trivial-multMagma ; :: thesis: ( Trivial-multMagma is mult-cancelable & Trivial-multMagma is strict & Trivial-multMagma is 1 -element )
thus ( Trivial-multMagma is mult-cancelable & Trivial-multMagma is strict & Trivial-multMagma is 1 -element ) ; :: thesis: verum