theorem Th5: :: HILB10_8:5

for T being _Theta
for lambda, epsilon1, epsilon2 being Real st lambda = T * epsilon1 & epsilon1 <= epsilon2 & 0 <= epsilon1 holds
ex T1 being _Theta st lambda = T1 * epsilon2