[Mathematics] (Also physics) Why can one define parallel transport without a metric? Is there a proof that it is a diffeomorphism invariant?