Formaler Potenzreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt/Name

Der Satz über das Einsetzen von Potenzreihen in Potenzreihen.