let G be strict Graph; :: thesis: {G} c= bool G
G in bool G by Th31;
hence {G} c= bool G by ZFMISC_1:37; :: thesis: verum