>>910
消去法を素直に実行すれば4つの式は自然に出てくる。