the carrier of (B +* C) = the carrier of B \/ the carrier of C by Th51;
hence not the carrier of (B +* C) is empty ; :: according to STRUCT_0:def 1 :: thesis: verum