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