theorem Th7: :: HILB10_8:7

for T1 being _Theta
for epsilon being Real st 0 <= epsilon & epsilon <= 1 / 2 holds
ex T2 being _Theta st 1 / (1 + (T1 * epsilon)) = 1 + ((T2 * 2) * epsilon)