Thanks to Theorem 7, we know

For  let 
Clearly

For  and 

 has at most a finite number of zeros in 

So we can apply Theorem 6 to get   
Hence, 

Finally, one computes