これは二つの式を連立で解いたのでしょうか?