Requesting feedback on proof of theorem I'm trying to self study my way through Apostol's calculus and have just started.  Having completed an undergraduate degree in physics some time ago, the math courses I took mostly focused on calculation and much less on proofs, so I'm a bit unsure of myself when doing proofs.  Any feedback on correctness, form, style, or otherwise would be most appreciated.
The theorem is from Volume 1, page 20:
Theorem 1.24:  If $a b>0$, then both $a$ and $b$ are positive or both are negative.
Proof: Assume the contradiction: if $a b>0$ if one of $a$ or $b$ is positive and the other is negative.  Without loss of generality we will assume $b$ is positive and $a$ is negative.  This means by assumption that $(-1 \cdot a b) > 0$.  Because $a b$ is positive this would mean that $-1 > 0$, which is a contradiction.  Therefore $a$ and $b$ must both be positive or negative for $a b>0$. $\square$
Axioms for the real numbers, introduced to this point, have been (ref Apostol):


*

*Commutative laws

*Associative laws

*Distributive laws

*Existence of identity elements

*Existence of negatives

*Existence of reciprocals

*If $x$ and $y$ are in $R^+$, so are $x+y$ and $xy$.

*For every real $x \neq 0$, either $x \in R^+$ or $-x \in R^+$, but not both.

*$0 \notin R^+$


You can prove the contrapositive: if $a,b$ have opposite signs, then $ab<0$.
