theorem Th35: :: MYCIELSK:35

for n being Nat holds chromatic# (CompleteRelStr n) = n