consider T being inducedSubgraph of G,S;
T is Subgraph of G ;
hence ( S is Subset of implies ex b₁ being Subgraph of G st b₁ is inducedSubgraph of G,S ) ; :: thesis: verum