theorem Th15: :: SIN_COS7:15

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