isomorphism for all p € M. In particular, conclude that if M and N are
diffeomorphic, then dim(M)= dim(N).