theorem :: GRAPH_1:27

for G1 being Graph
for G being simple Graph st G1 c= G holds
G1 is simple