∫ u dv = uv - ∫ v du | BATrace