(1) und (4) stecken in der Definition des Einsetzungshomomorphismus drin. Daraus ergeben sich auch (2) und (3).
