Definition 1. Let G be a group. G is said to be residually finite if the intersection of all normal subgroups of G of finite index in G is trivial. For a survey of results on residual finiteness and related properties, see Mag-nus, Karrass, and Solitar [6, Section 6.5]. We shall present a proof of the following well known theorem, which is important for Kharlampovich [4, 5]. See also O. V. Bele...