[[피카르의 정리|피카르의 소정리]]는 서로 다른 둘 이상의 복소수를[[복소수]]를 함숫값으로 갖지 않는 모든 전해석 함수는 상수라는 내용이다. 즉 모든 복소수 <math> z </math>에 대해 <math> f(z)\ne a </math>, <math> f(z)\ne b </math>인 서로 다른 두 복소수 <math> a, b </math>가 존재하면 <math> f </math>는 반드시 상수이어야 한다. 이 정리는 [[리우빌 정리를정리 (복소해석학)|리우빌 정리]]를 함의한다.