theorem :: SERIES_5:13

for x, y being Real st |.x.| < 1 & |.y.| < 1 holds
|.((x + y) / (1 + (x * y))).| <= 1