Different premises

premises{ The product theorem fixes $\varphi$ and varies $h$. The present theorem moves $\varphi$ by $X_{\xi }\varphi$, while retaining the massive free equation. Neither statement is a reformulation of the other.}