( x = +infty & y = +infty ) by Theorem1;
hence not x + y is real by Def3; :: thesis: verum