a，b:自然数 q:素数 とする。
abがqで割り切れるならば、aまたはbがqで割り切れる

の証明方法が分かりません。どなたかお願いします。