omega писал(а):Source of the post Вы говорите, что факт этот тривиальный и в то же время приводите доказательство.
Если честно, я не поняла приведённое вами доказательство.
По-моему, этот факт всё-таки кем-то доказан или, по крайней мере, обнаружен, если уж вы утверждаете, что он тривиален.
Всякое натуральное при делении на может давать остатки . Однако, так как - простое, то остатки исключаются (случай - особый).
Утверждение действительно тривиальное. Аналогично доказываются более общие.