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