Show that, for any positive integers a,b the set of all ma+nb (m,n positive integers) includes all multiples of (a,b) larger than ab.
This problem is from a section on the integers in Ch 1 of Birkhoff and MacLane which covers:
(a,b), gcd of a,b
[a,b], lcm of a,b
Division algorithm, a=bq+r...