let IT be inducedSubgraph of G,{v}, {} ; :: thesis: ( IT is finite & IT is trivial )
reconsider E = {} as finite Subset of (G .edgesBetween {v}) by XBOOLE_1:2;
IT is inducedSubgraph of G,{v},E ;
hence ( IT is finite & IT is trivial ) ; :: thesis: verum