(1) LET OP and OQ be two lines at right angles, and let PQ move along them from O, so that OP always = OQ. Then PQ always > OQ or OP. You have full access to this article via your institution.