theorem :: GRAPH_1:31

for G being strict Graph holds {G} c= bool G by Th29, ZFMISC_1:31;