theorem Th6: :: HILB10_8:6

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