anstatt der "Gleichsetzung" der Ergebnisse, stellst du deren Gleichheit fest. Du beweist ja, dass im Matrizenring Kommutativät bezüglich der Addition gilt.
Du musst e + h = h + e separat beweisen, wenn es sich bei der Verknüpfung "+" nicht um die übliche Addition handelt. Die übliche Addition ist ja auf allen Zahlenmengen kommutativ. Dies ist so fundamental, dass es nicht bewiesen werden muss, es kann vielmehr als Axiom gelten.
MfG
Mister