ユークリッドの補題
もし二つの数が互いにかけあわせてある数をつくり,2数の積を何らかの素数が割り切るならば,それは最初の2数の一つを割り切るであろう。