( |.a.| < 1 & |.b.| < 1 ) by Def2;
hence not (a + b) / (1 + (a * b)) is heavy by SERIES_5:13; :: thesis: verum