\(p, q\) を互いに素な整数とする。\(x, y, k\) が整数のとき, \(px=qy\) ⇔ \(x=qk, y=pk \) （証明） （ⅰ）\(x=qk, y=pk \) ⇒ \(px=qy\) を […]