10万個の方程式を4つにまとめたら何かいいことがあったのか?