Ostrogradsky定理表明，单个机械变量的高阶导数项是微不足道的，或者会导致额外的类似虚影的自由度。 在这封信中，我们系统地研究了附加变量的引入如何解决这种情况。 利用拉格朗日分析，我们确定了拉格朗日的条件，以确保存在主要和次要约束条件，这些条件共同暗示着没有Ostrogradsky幽灵。 我们还显示了这些条件对运动方程的结构以及变量的可能重新定义的影响。 我们讨论了类似的高导数场理论的应用，例如多伽利略和Horndeski以外的领域。