take (1). H ; :: thesis: (1). H is trivial
thus (1). H is trivial ; :: thesis: verum