En una ecuación diofantina $ax + by = n$ con $(a, b) = 1$ el mayor valor posible de $n$ de manera que ambos $(x, y)$ no son positivos es $ab b a$ ?
Esto se da en mi módulo (sin ninguna prueba). Estoy asumiendo que "ambos $(x, y)$ no son positivos" significa que al menos uno debe ser negativo. Me preguntaba cómo probar esto.