피카르 정리의 수학적 공식화와 증명 아이디어