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