let A, B be Ordinal; :: thesis: ( A /\ B = A or A /\ B = B )
( A c= B or B c= A ) ;
hence ( A /\ B = A or A /\ B = B ) by XBOOLE_1:28; :: thesis: verum