for G being void SimpleGraph holds clique# G = 0