theorem Th32: :: SIN_COS7:32

for t being Real st - 1 < t & t < 1 holds
0 < (t + 1) / (1 - t)