The projection technique requires the introduction of an appropriate homomorphism.
We now come to the theorem which was alluded to in the introduction of the present chapter.