Dimension Is Preserved by Diffeomorphism