El teorema demostrado por Poincaré y Volterra establece lo siguiente:
El conjunto de elementos de la forma de una función analítica completa centrada en un punto determinado es a lo sumo contable . |
Como resultado, una función de varios valores puede tener como máximo un conjunto contable de valores en un punto. Un ejemplo de una función que tiene un conjunto de valores denso contable en todas partes en cualquier punto proporciona una integral hiperelíptica del primer tipo.