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