( ( a is positive or a is negative ) & ( d is positive or d is negative ) ) ;
hence not rseq (a,b,0,d) is bounded ; :: thesis: verum