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