theorem :: SCMYCIEL:55

for G being void SimpleGraph holds clique# G = 0