Suppose is Riemann integrabe on . Let be any number in , and let be any real number different from . Define a function as follows: . Prove that is Riemann integrable on and that .

Proof. Let . Choose . Let be a partition of with . Choose arbitrarily such that . Then .

So

So . Thus . Then . Hence is Riemann integrable on and .

Is this correct?