Let we know that for any there exists so that where is any partition with and is any associated Riemann sum. Let be any partition of with . If is some Riemann sum then it is equal to , but this is a Riemann sum associated with where the partition norm is less than . Thus, , so we see that is integrable with the same value.