prove trichotomy on the reals