let H be Element of S; :: thesis: H is Subgraph of G
thus H is Subgraph of G by Th1; :: thesis: verum