for a, b being Real st sgn a > sgn b holds
a > b