法で互いに素という仮定から、ある