theorem :: MYCIELSK:36

for n being non zero Nat holds cliquecover# (CompleteRelStr n) = 1