Integration/Substitution/dx version/Fact/Proof