for x being non empty set holds not x in {e} by TARSKI:def 1;
hence {e} is empty-membered by SETFAM_1:def 10; :: thesis: verum