Page "Ordered field" Paragraph 40
from
Wikipedia
Every ordered field is a formally real field, i. e., 0 cannot be written as a sum of nonzero squares.
Page 1 of 1.
1.792 seconds.