① いま有効な連立方程式（パラメータの数値を代入した形・●＝有効、○＝未使用）
② ①の式だけから導ける一般解 ―― 画面の動きはここから作られる
③ 画面の各候補の数値と、式ごとの成立チェック
✓＝その候補はこの式を満たす ／ ✗＝満たさない。未使用（○）の式は破っても「ルール違反」にならないため、✗ の動きが候補として生き残ってしまう。これが「式が足りない」ことの正体。
未知数
0
---
独立な式
0
---
残り自由度
---
---
---