증명 최적화 전략: 논리 단순화 및 알려진 정리 활용