We pick , a compact interval such that, for some  and for all 

We define 
We prove