Вяйнямёйнен - сын богини-демиурга Луоннотар, главный герой карело-финского эпоса. Этот мудрый старец, маг и чародей, который провел во чреве матери по меньшей мере тридцать лет, был одарен сверхъестественными В любви ему везло меньше. Он попробовал выбрать невесту среди женщин страны Севера, Похьёлы, и в обмен на чудесную мельницу сампо, источник изобилия, ему обещали одну из дочерей хозяйки Севера Лоухи.
По его мельницу "из пушинки лебединой, из кусочка веретёнца, и из молока коровы, и из ячменя крупинки" выковал кузнец Ильмаринен. Правда, затем он обманул Вяйнямёйнена и сам женился на дочери Лоухи.
Но невеста была убита, а сампо украдена. Вяйнямёйнен, Ильмаринен и Лемминкяйнен отправились на поиски сампо и после множества приключений нашли ее. Лоухи бросилась за ними в погоню, подняла на море бурю и, обернувшись грифоном, напала на корабль героев. Только быстрая реакция Вяйнямёйнена позволила всем однако во время сильнейшего шторма сампо разбилась. Вяйнямёйнену удалось собрать обломки мельницы и частично восстановить ее чудесные свойства. Вяйнямёйнен в преклонном возрасте влюбился в юную девушку Айно, которая предпочла утопиться, но не выходить за него замуж. В облике лосося дева попалась ему на крючок и на земле, обернувшись русалкой, вновь бросилась в реку. Согласно мифам, он добыл огонь из чрева огненной рыбы, изготовив первую рыболовную сеть; построил первую лодку; побывал в Туонелле, царстве мертвых, и вернулся оттуда живым. Когда его миссия на земле была завершена, Вяйнямёйнен построил новый корабль и отправился в путешествие без конца.
Рассмотрим два случая: a делится на p; a не делится на p.
1) a делится на p;
Тогда используя сравнения запишем:
a ≡ 0 (mod p);
ap ≡ 0 (mod p);
Или ap ≡ a (mod p).
В этом случае теорема доказана.
2) a не делится на p;
Рассмотрим числа a, 2a, 3a,...,(p - 1)a (*).
Покажем, что эти числа дают разные остатки при делении на p. Очевидно, остаток также не может быть 0.
Докажем от обратного.
Пусть какие-то два числа ka, na имеют одинаковые остатки при делении на p (пусть k> n). Тогда разность ka - na делится на p. Значит (k - n)a делится на p. Но a не делится на p, а разница k - n меньше p и отлична от нуля, потому также не делится на p. Мы пришли к противоречию - наше предположение, что числа (*) могут давать одинаковые остатки при делении на p ошибочно. Запишем это:
a ≡ r1 (mod p);
2a ≡ r2 (mod p);
...
(p - 1)a ≡ rp - 1 (mod p);
Используя свойства сравнения перемножаем предыдущие сравнения. Так как всего множителей p - 1, а все остатки при делении на p разные, то справа будет (p - 1)!
ap - 1(p - 1)! ≡ (p - 1)! (mod p);
(ap - 1 - 1)(p - 1)! ≡ 0 (mod p);
Но (p - 1)! не делится на p, так как p - простое, а все множители факториала меньше p. Значит (ap - 1 - 1) делится на p.
(ap - 1 - 1) ≡ 0 (mod p);
ap - 1 ≡ 1 (mod p);
ap ≡ a (mod p);
Что и требовалось доказать.
