theorem Th2: :: HILB10_8:2

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