En realidad la demostración se hizo sobre una expresión algo más estricta de lo que se indica en la definición anterior del teorema, siendo la expresión demostrada por Hadamard y Poussin la siguiente: