theorem Th4: :: HILB10_8:4

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