Two-generator Frobenius theorem

For coprime integers $a,b>1$, the Frobenius number is $ab-a-b$. Every larger integer is a nonnegative integer linear combination of $a,b$.