[k]n ist wohl die Klasse aus Zn, die k enthält .
Und ∃s, t ∈ Z : 1 = s · k + t · n #
Gesucht wird das Inverse der Klasse [k]n , also eine Klasse [x]n, mit
[k]n*[x]n = 1 bzw. ein x∈ℤ mit k*x≡1 mod n
also k*x = y*n + 1 für ein y∈ℤ
k*x - y*n = 1
wegen # kann man x=s und y=-t nehmen, also
ist die Klasse [s]n das Inverse zu [k]n