Este teorema es un fortalecimiento significativo del teorema de Liouville que establece que la imagen de una función no constante completa debe ser ilimitada.