if f exist in the Riemann integral from [a,b] and if (P_n) is any sequence of tagged partitions of [a,b] such that the norm of these tagged partitions goes to 0 and lim_n S(g,P_n) exists.