射影微分方程式の任意の解は、すべての時間に対して制約集合 "k" の内側に留まる必要がある。