consider x being set ;
take {x} ; :: thesis: not {x} is empty
thus not {x} is empty ; :: thesis: verum