>>919
m番目以下の素数ルートの(有理数係数)線形和の二乗がm番目以下の線形和になるとは
限らないって例。 (「m番目以下の自然数ルート」と言い換えても同じ事)
だから >>907 を誤解も何も、あれは証明になっていない。