>>398
どうやらこの言い換えは不完全なようです
(x, y) = (5, ±1) は E[11] の解ではありませんが、
11 = f(5, ±1)
と書けるので
何か条件が抜け落ちてしまったようです