I saw this and knew that it had to be TFP'd. This can't be possible, right? But here it is. Please, discuss for eight+ pages. Oh, and things written off to the right clarify the next step I took.
Code:
a = b and b > 0
a = b * b
ab = b^2 -a^2
ab - a^2 = b^2 - a^2
a(b - a) = (b + a) (b - a) /(b - a)
a = (b + a)
a = a + a
a = 2a