Well, what I essentially just did is I kind of proved this-- you could call this a formula, but I often forget it, especially once I haven't done it a long time, and then I actually just reprove it to myself just by remembering the product rule-- but this is called integration by parts.