Udowodnić, że jeśli liczby
,
(
) są względnie pierwsze, to liczba
jest podzielna przez
.
Oznaczmy:
![]() |
Są to liczby całkowite. Zachodzi równość
![]() |
czyli
. Zatem liczba
jako względnie pierwsza z
, musi być
dzielnikiem
; a to właśnie mieliśmy wykazać.