私の４行目の主張は、もっとシンプルなものです。
「x+x+x+x+,,,=1を満たす実数xは存在しない」ということです。