The scalar p p = m 2 c 2 is Lorentz invariant because it is

The scalar p_μp_μ = −m²c² is Lorentz invariant because it is the magnitude of a four-vector. Use the covariant equation of motion for a point charge in an electromagnetic field to prove, independently, that p_μp_μ is a constant, independent of proper time.