( r <= 0 or 0 <= r ) ;
hence not r / r is negative ; :: thesis: verum