A Poincaré és Volterra által bizonyított tétel a következőket mondja ki:
Egy teljes analitikus függvény alakjának egy adott pontban középpontjában álló elemeinek halmaza legfeljebb megszámlálható . |
Ennek eredményeként egy többértékű függvénynek egy ponton legfeljebb megszámlálható értékkészlete lehet. Egy példa egy olyan függvényre, amely mindenhol megszámlálható sűrű értékkészlettel rendelkezik bármely ponton, egy első típusú hiperelliptikus integrált biztosít.