take R = the total reflexive symmetric transitive Relation of U; :: thesis: R is total
thus R is total ; :: thesis: verum