thus for x being set st x in {} holds
x c= {} ; :: according to ORDINAL1:def 2 :: thesis: {} is epsilon-connected
thus for x, y being set st x in {} & y in {} & not x in y & not x = y holds
y in x ; :: according to ORDINAL1:def 3 :: thesis: verum