Talk:Order of Squares in Totally Ordered Ring without Proper Zero Divisors

When I first found this theorem, its title claimed it worked for totally ordered rings, its stated premises called only for ordered rings, and its proof relied on a (partially) ordered field. I moved that to a page with an appropriate title, and I came up with this version. I failed to prove a version for totally ordered rings, and I doubt there is one, but are welcome to try to prove/disprove it. --Dfeuer (talk) 04:28, 14 January 2013 (UTC)

What's wrong with the punctuation, exactly? --Dfeuer (talk) 10:53, 14 January 2013 (UTC)