where . Hence it follows that
where . Since is assumed to be consistent, we have
Hence
where
We now subtract from the corresponding relation
satisfied by the values . Writing and setting
we get
where . In view of the Lipschitz condition,
The following Lemma is now used in the remaining part of the proof of the theorem.
. Hence it follows that 
. Since 
is assumed to be consistent, we have 
from the corresponding relation 
. Writing 
and setting 
. In view of the Lipschitz condition, 
