D.4 Lorentz trans­for­ma­tion de­riva­tion