"Küçük Picard" adı da verilen ilk teorem, tam bir f(z) fonksiyonunun görüntü kümesinin ya tüm karmaşık düzlem ya da karmaşık düzlemin bir noktası hariç hepsi olduğunu ifade eder.
Bu teorem, Picard tarafından 1879 yılında kanıtlanmıştır. Sabit olmayan bir tam fonksiyonun görüntü kümesinin sınırsız olacağını ifade eden Liouville teoreminin önemli bir şekilde güçlendirilmiş halidir.
