완전그래프에 관한 Tur?n's theorem으로 증명은 너무길어 http://en.wikipedia.org/wiki/Tur%C3%A1n%27s_theorem 참조
당신은 어느 그룹입니까?