Every Riemann integrable function is Lebesgue integrable (source code)

= Every Riemann integrable function is Lebesgue integrable

But only for the proper Riemann integral: https://math.stackexchange.com/questions/2293902/functions-that-are-riemann-integrable-but-not-lebesgue-integrable