Therefore, each an has an inverse mod pn, and the sequence of these inverses, (bn), is the sought inverse of (an).
Då har varje an en invers modulo pn och följden av dessa inverser, (bn), är den sökta inversen av an.