Ecency
Integration by Parts: Proof