. Hence by case (i) of [48.4],

. Thus lengths on

and

are comparable. We need not here consider the theorems, either assumed as independent laws of nature or deduced from previous assumptions, by which we know that the rectangular pair (

and