theorem :: SCMYCIEL:119

for n being Nat ex G being finite SimpleGraph st
( clique# G = 2 & chromatic# G > n )