Search results for: 'every archimedean fields is a subfield of R'