Con esta generalización, el "pequeño teorema de Picard" se desprende del "gran teorema de Picard" porque una función completa es un polinomio o tiene una singularidad esencial en el infinito.