整数解の存在判定に限定しても、9変数方程式の一般的判定法が存在しないことがすでに証明されている.
方程式