EModified the references for residual finiteness in the statement of Theorem 2.6,
@the proof of Lemma 2.7