assume {} in {A} ; :: according to SETFAM_1:def 9 :: thesis: contradiction
hence contradiction by TARSKI:def 1; :: thesis: verum