theorem Th69: :: SCMYCIEL:69

for X being finite set holds chromatic# (CompleteSGraph X) = card X