the carrier of C <> {} ;
hence not Mor C is empty by CAT_6:def 1; :: thesis: verum