How can I prove that for modular multiplicative inverses that if $∃ $[$b$]$ ∈ℤ_n$ such that [$a$] * [$b$] = [$1$], then gcd($a,n$) =$1$?
Solving linear congruence (modular inverse or fraction) via gcd Bezout equation