에프 정리합니다.