Is Lorentz transformation one kind of coordinate transformation? If so, the conservation of inner product, which is the primary property of Lorentz Transformation, is trivial, isn't it? The vector transforms in some way, the metric transforms in the inverse way, so the inner product defintely...