あくまで必要条件で絞ってるだけだから。
最終的に求めた解が十分性満たしてれば、記述はいらない