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