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