Integration/Substitution/dx version/Fact/Proof

Proof

Because of fact, we have