Взаимно простые числа и их свойства

Два ненулевых целых числа называются взаимно простыми, если их НОД=1.

Теорема (критерий взаимной простоты). Два ненулевых целых числа , взаимно просты тогда и только тогда, когда существуют элементы множества целых чисел , , для которых .