for A, B being Ordinal holds
( A c= B iff Rank A c= Rank B )