Satz. Sind n,m∈Z, dann gibt es α,β∈Z, so dass
ggT(n,m)=αn+βm
ist.
Die Koeffizienten α und β können mit dem erweiterten euklidischen Algorithmus bestimmt werden.
Sei p =12619 (das ist eine Primzahl) und [x]= [810]p
Laut obigem Satz gibt es α,β∈Z, so dass
ggT(12619,810)=α⋅12619+β⋅810
ist.
Weil 12619 eine Primzahl ist, ist ggT(12619,810)=1. Also gibt es α,β∈Z, so dass
1=α⋅12619+β⋅810
ist. Für diese α,β ist wegen
α⋅12619≡0mod12619
auch
β⋅810≡1mod12619
und somit
[810]12619−1=[β]12619.