二つの整数が互いに素であることについて。合同式の割り算，互いに素である確率など関連する定理を三つ紹介します。