Principle of general covariance