（限制在邻域formula_47）上的体积形式：formula_54。给定维数的可微流形是局部微分同胚的；增添的判断标准是体积形式拉回到体积形式。在1维情形，可以这样证明：给定formula_55上一个体积形式formula_38，定义那么标准勒贝格测度formula_10通过"f": formula_59拉回到formula_38，实际上，formula_61。高维数时，给定任何一点formula_62，存在一个邻域局部同胚于formula_63，我们可以进行相同的步骤。Section:::