or, the "covariant differential" dx0 between two infinitesimally close points should be zero.
In the special relativity theory, too, proper time elapses differently for clocks moving relatively to each other.