x. Y is a real number P: X > Y Q: | x | y|

x. Y is a real number P: X > Y Q: | x | y|

Because x > y, if y