命題7

通約不可能な量は互いに数であらわせる比をもたない

Ａ，Ｂを通約不可能とする。

ＡがＢに対して数であらわせる比をもたないことを示す。

もしＡがＢに対して数であらわせる比をもつならば，ＡとＢは通約可能である。 Ａ，Ｂは通約不可能であるので矛盾。 �].6

よって，Ａ，Ｂはひをもたない。

したがって，通約不可能な量は互いに数であらわせる比をもたない。

証明終了