Beweis der universellen Eigenschaft der Skalarerweiterung hinzugefügt.