Kant and the Riemannian geometry