Proof.
Let

and
In the same way that we proved Lemma
3.2,
we see that the reductions modulo

of the elements of

are exactly the same as the reductions of the elements of

.
Thus
since the products are over exactly
the same numbers modulo

.
Now cancel the

's on both sides to get
as claimed.