for A, B being Ordinal holds A c= B +^ (A -^ B)