(ct)^2 = (ct')^2 + x^2