Category:Trichotomy Law for Real Numbers