Integration by parts/Fact/Proof