Verified answer

Полученное сравнение равносильно утверждению: делится на .

Т.к. простое, то хотя бы один из множителей и делится на , что и означает, что .

Ч.т.д.