命題27
2つの数が互いに素であり、それぞれをそれぞれ自身にかけてある数を作るならば、これらの積は互いに素である。もとの数がこれらの積をかけて数を作るならば、後者も互いに素である。
AとBを2つの互いに素である数とし、Aにそれ自身をかけてCを作り、CをかけてDを作り、Bにそれ自身をかけてEを作り、EをかけてFを作るとする。
CとEが互いに素であり、同じようにDとFが互いに素であることをいう。
AとBが互いに素であり、Aにそれ自身をかけてCを作るから、それゆえにCとBは互いに素である。propositionZ.25
CとBが互いに素であり、Bにそれ自身をかけてEを作るから、それゆえにCとEは互いに素である。
再度、AとBは互いに素であり、Bにそれ自身をかけてEを作るから、それゆえにAとEは互いに素である。
2つの数AとCは2つの数BとEに対して互いに素であるから、それゆえにAとCの積はBとEの積に対して互いに素である。そしてAとCの積はDであり、BとEの積はFである。propositionZ.26
それゆえにDとFは互いに素である。
それゆえに、2つの数が互いに素であり、それぞれをそれぞれ自身にかけてある数を作るならば、これらの積は互いに素である。もとの数がこれらの積をかけて数を作るならば、後者も互いに素である。
証明終了