theorem Th3: :: HILB10_8:3

for T1, T2 being _Theta
for lambda, epsilon1, epsilon2 being Real st lambda = (1 + (T1 * epsilon1)) * (1 + (T2 * epsilon2)) & 0 <= epsilon1 & epsilon1 <= 1 & 0 <= epsilon2 holds
ex T being _Theta st lambda = 1 + (T * (epsilon1 + (2 * epsilon2)))