A surjective endomorphism of a residually finite group is an isomorphism.