In (2.1) above we saw how any 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
.