ユークリッドの補題
互いに素である2数はそれらと同じ比をもつ2数のうち最小である。