안 쓰는 요소 정리