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