assume {} in {A,B,C,D,E,F,G,H,I,J} ; :: according to SETFAM_1:def 9 :: thesis: contradiction
hence contradiction by ENUMSET1:def 8; :: thesis: verum