axiom a diffeomorphism