( A c= B or B c= A ) ;
hence A /\ B is ordinal by XBOOLE_1:28; :: thesis: verum