D.5 Lorentz group prop­erty de­riva­tion