Poincarén ja Volterran todistama lause sanoo seuraavaa:
Tiettyyn pisteeseen keskittyneen täydellisen analyyttisen funktion muodon elementtien joukko on korkeintaan laskettavissa . |
Tämän seurauksena moniarvoisella funktiolla voi olla korkeintaan laskettava arvojoukko yhdessä pisteessä. Esimerkki funktiosta, jolla on kaikkialla laskettava tiheä arvojoukko missä tahansa pisteessä, tarjoaa ensimmäisen tyypin hyperelliptisen integraalin .