Prove Thomas Function Is Riemann Integrable Functions