Prove:

if a>0 and b>0, and a^2>b^2, then a>b.

a^2-b^2 = (a+b)(a-b)

(a+b) is +
so if (a^2-b^2) is + then (a-b) must be +