Complex Numbers cannot be Ordered Compatibly with Ring Structure/Proof 3

Proof
From Complex Numbers form Integral Domain, $\struct {\C, +, \times}$ is an integral domain.

that $\struct {\C, +, \times}$ can be ordered.

Thus, by definition, it possesses a (strict) positivity property $P$.

Then from Strict Positivity Property induces Total Ordering, let $\le$ be the total ordering induced by $P$.

From Unity of Ordered Integral Domain is Positive:
 * $1$ is strictly positive.

Thus by strict positivity, axiom $3$:
 * $-1$ is not strictly positive.

Consider the element $i \in \C$.

By definition of strict positivity, axiom $3$, either:
 * $i$ is strictly positive

or:
 * $-i$ is strictly positive.

Suppose $i$ is strictly positive.

Then by Square of Element of Ordered Integral Domain is Positive:
 * $i^2 = -1$ is strictly positive.

Similarly, suppose $-i$ is strictly positive.

Then by Square of Element of Ordered Integral Domain is Positive:
 * $\paren {-i}^2 = -1$ is strictly positive.

In both cases we have that $-1$ is strictly positive.

But it has already been established that $-1$ is not strictly positive.

Hence, by Proof by Contradiction, there can be no such ordering.