Le Théorème 7 nous dit alors que

Pour  soit 
Clairement

Pour  et 

 compte au plus un nombre fini de zéros dans 

On peut donc appliquer le Théorème 6 pour conclure que   
Ainsi, 

Finalement, on calcule