consider s being Element of S;
take {s} ; :: thesis: {s} is trivial
thus {s} is trivial ; :: thesis: verum