1
2つ以上の整数a、b、…の積が素数pで割り切れる時、a、b、…の少なくとも1つはpで割り切れることを証明せよ。