may be expressed, modulo 
,
in terms of values of 
with 
: this was
the key fact behind Proposition 1 and Theorem 1. In this section we
prove the following result which allows us to express 
,
modulo 
, in terms of 
with k < qp:
Given integers 
define
.
Annotation Form Interface