consider G being trivial simple _Graph;
take G ; :: thesis: ( G is trivial & G is simple & G is complete )
thus ( G is trivial & G is simple & G is complete ) ; :: thesis: verum