一阶微分形式不变性有什么意义啊,这个不是理所当然的吗,那为什么不提出一阶导数形式不变性