( a >= - 1 & b > 1 ) by TA1;
then a + b > (- 1) + 1 by XREAL_1:8;
hence a + b is positive ; :: thesis: verum