consider IT being finite trivial simple Subgraph of G;
take IT ; :: thesis: ( IT is trivial & IT is finite & IT is Tree-like )
thus ( IT is trivial & IT is finite & IT is Tree-like ) ; :: thesis: verum