Ecuación de Frobenius
¿Qué valores de m se pueden expresar como suma de multiplos no negativos de los enteros a y b?
Si d = mcd(a, b) > 1, no hay solución para valores de m que no sean múltiplos de d. Para los valores de m que si lo sean, dividiendo m, a y b por d, se reduce el problema al caso d = 1.
¿Por qué es trivial que para m >= a·b siempre hay al menos una solución?