중복 정리