Remark

This theorem is crucial in what follows. It will be used to describe the image ring f(R) fully in terms of R.