軽く見てると足をすくわれる式処理。「条件立式はできて、何を求めればいいかは分かっているのにやり方分からない、はい詰んだ」みたいな数学あるある。それを解消するための基盤です。