반팔니트 정리