the carrier of Trivial-multLoopStr_0 = {0} by CARD_1:49;
hence the carrier of Trivial-multLoopStr_0 is 1 -element ; :: according to STRUCT_0:def 19 :: thesis: Trivial-multLoopStr_0 is strict
thus Trivial-multLoopStr_0 is strict ; :: thesis: verum