Es gibt einen eindeutig bestimmten R {\displaystyle {}R} -Algebrahomomorphismus
mit ψ ( X ) = f {\displaystyle {}\psi (X)=f} .