lean_workbook_plus_30739

Consider $n =2$ and suppose that $\gcd(a_{1}, a_{2}) = 1$ , then there exist $M_{1}, M_{2} \in \mathbb{Z}$ such that $a_{1}M_{1} + a_{2}M_{2} = 1$ .