xを求めなさい。

証明した各ステップが、それを証明した道具と一緒にここに並びます。