「互いに素」の述語論理による表現

集合の基本概念－定義と記号の互いに素の説明に、「互いに素」の述語論理による表現へのリンクを設置。