Pequeño Teorema de Picard: si una función "f": C → C es completa y no constante, entonces el conjunto de valores que "f(z)" asume es el plano complejo completo o el plano menos un punto único."Bosquejo de la prueba: " La prueba original de Picard se basó en las propiedades de la función lambda modular, generalmente indicada por λ, y que realiza, utilizando la terminología moderna, el recubrimiento universal holomorfo del plano perforado dos veces por el disco de la unidad.