consider F being Field;
take F ; :: thesis: not F is trivial
thus not F is trivial ; :: thesis: verum