theorem Th29: :: GRAPH_1:29

for G being strict Graph holds G in bool G