theorem Th2: :: INTEGR10:2

for a, b, g1, M being Real st a < b & 0 < g1 & 0 < M holds
ex r being Real st
( a < r & r < b & (r - a) * M < g1 )