consider a being ordinal number such that
A1: X c= a by SS;
take a ; :: according to ORDINAL6:def 1 :: thesis: X \ Y c= a
thus X \ Y c= a by A1, XBOOLE_1:1; :: thesis: verum