Angesichts der Minkowski-Metrik die Lorentz-Transformation erfüllt
Verwenden der indexerhöhenden Eigenschaft
Anwendung Ihrer Formel
und erneutes Verwenden der indexerhöhenden Eigenschaft
Hatten Sie das im Sinn? Alternativ die des endgültigen Ausdrucks können auch ausgetauscht werden durch geeignetes Absenken eines der Indizes jeder der Transformationsmatrizen:
Emil