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