2 ordered field theorems that need proving

Printable View