the carrier of (MSSign A) = {0} by Def13;
hence the carrier of (MSSign A) is 1 -element ; :: according to STRUCT_0:def 19 :: thesis: verum