>319
しかし、(5)に有理数比の解がない証拠がないならば、
(3)に有理数の解はない、とはいえません。

(5)に有理数比の解はあります。証拠もあります。
(3)に有理数の解はあります。