数学言語

数学の真髄で同値変形を用いて図形を変換することは既習です。しかし今回の図形の変換の順序がわかりません。数学の真髄でやったのと逆の操作と言えそうです。(難問だと思いますのでピンクの部分だけでもOKです。)
⑵は2変数関数の全称命題なので、領域を図示して包含関係に持ち込もうとしています。というのも解説に貼ったような感じが解答の方針だからです。⑵で出てくる範囲が最初に求めたものよりも緩ければ証明完了であると思いました。
ここでノートのピンク色の部分の変換の順序がどうしてそうなるのかわからず、逆の順序であると思ってしまいます。
もっと簡単な問題を用意して、質問すればよかったかもしれませんが、わかる方いましたら教えてください。