theorem :: MYCIELSK:51

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