Prove that if and and , then we also must have .

*Proof.*

Since and we have , by substitution. But this means . Since by assumption, and we must have

Skip to content
#
Stumbling Robot

A Fraction of a Dot
#
Another proof on the less than or equal relation.

* Proof. *

Since and we have , by substitution. But this means . Since by assumption, and we must have

Prove that if and and , then we also must have .

Since and we have , by substitution. But this means . Since by assumption, and we must have