lean_workbook_plus_15332

A generalisation: If the integers satisfy $gcd(m,n)=1$ ,then $\exists N_{0}$ ,an integer, such that $\forall n \ge N_0$ $\exists$ integers $a$ and $b$ such that $n=ma+nb$.