. 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
. 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