Kongruencje liniowe, alg. Euklidesa, 'tajemniczy' wzór

[patry93]

Witam.
W pewnych notatkach (nie moich, gdyż w przeciwnym razie pewnie znałbym odpowiedź ;P) znalazłem taki wzorek: \(\displaystyle{ x \equiv (-1)^{n-1} P_{n-1}b}\)
gdzie \(\displaystyle{ x}\) ma być rozwiązaniem kongruencji \(\displaystyle{ ax \equiv b \pmod{m}}\), a \(\displaystyle{ P_{n-1}}\) nie mam pojęcia co oznacza.
Zaraz obok tego mam napisany algorytm Euklidesa, także może to z niego wynika, ale jednak mam problem z rozszyfrowaniem

[Nakahed90]

Nie jestem pewien czy o to napewno chodzi, ale takie oznaczenie kojarzy mi się z licznikiem reduktu ułamka łańcuchowego.