>>948
式④を満たす解が特定の一つであっても、その解が式⑥を満たすことになりますが
式⑥解が不定になってもそれは、式④の特定の値を包含しているので問題ないと思います。