>581
(修正24)は間違いである

という結論でいいですか。

x,yを有理数とすると、(3)(4)は成立しない。
という結論となります。