Gleichung/Umformungsprinzip/Fakt/Beweis
Beweis
- Wenn
ist, so ist auch
da ja eine Abbildung wohldefiniert auf den Elementen ist, und nicht irgendwie von der Darstellung des Elementes abhängt.
- Dies ist eine unmittelbare Anwendung der Injektivität von .