 If none of the metric coefficients formula_28 are functions of time, formula_29

While it is not "necessary" to choose coordinates for a stationary space-time such that the metric coefficients are independent of time, it is often "convenient".When we chose such coordinates, the time-like Killing vector for our system formula_30 becomes a scalar multiple of a unit coordinate-time vector formula_31, i.e.formula_32.