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.