[Tainnor]

I don't think there are many deep theorems about subtraction, but there are a lot of very deep theorems about powers (and polynomials), the exponential function and logarithm functions (especially in complex analysis).