Another proof using Ordered Field Axioms

Printable View