theorem Th33: :: MYCIELSK:33

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