It's interesting that you need negative numbers in order to prove certain statements containing only positive numbers. It's analogous to needing complex number

It's interesting that you need negative numbers in order to prove certain statements containing only positive numbers. It's analogous to needing complex numbers to prove certain things about reals.