Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Функция Эйлера
Наиболее часто на практике используется свойство, установленное Эйлером:
если formula_90 и formula_31 взаимно просты.
Это свойство, которое называют теоремой Эйлера, вытекает из Теоремы Лагранжа и того факта, что formula_92 равна порядку группы обратимых элементов кольца вычетов по модулю formula_31.
В качестве следствия теоремы Эйлера можно получить малую теорему Ферма. Для этого нужно взять не произвольное formula_94 а простое. Тогда:
Последняя формула находит применение в различных тестах простоты.