One of Pringsheim's theorems, according to Hadamard[1] earlier proved by E. Borel, states[2] that a power series with positive coefficients and radius of convergence equal to 1 has necessarily a singularity at the point 1. This theorem is used in analytic combinatorics[3] and the Perron–Frobenius theory of positive operators on ordered vector spaces.[4][5]