Uno de los objetivos centrales de la teoría de números es encontrar soluciones enteras de ecuaciones polinómicas, tarea que recibe el nombre de estudio de las ecuaciones diofánticas. El artículo responde por qué esta búsqueda, en apariencia extravagante, resulta tan importante, y plantea que la matemática, al igual que la literatura, intenta revelar estructuras profundas a partir de casos concretos.
El texto arranca con el caso más simple, las ecuaciones del tipo Ax = B, y muestra que decidir si existe una solución entera conduce de forma natural a las nociones de divisibilidad y resto. A partir de ahí introduce la aritmética modular como una notación sistemática para manejar la divisibilidad, con ejemplos como 7 ≡ 4 (mód 3) o 14 ≡ 2 (mód 3).
El siguiente paso son las ecuaciones de la forma Ax + By = C, una clase estudiada ya por Euclides, quien ideó el algoritmo que lleva su nombre para resolverlas. El autor explica que inventar este algoritmo equivale esencialmente a descubrir la factorización única en primos, una estructura oculta de los números enteros: todo entero se escribe de manera única como producto de primos, por ejemplo 4725 = 3³ × 5² × 7. Esa factorización única sustenta, a su vez, el teorema chino de los restos, según el cual una ecuación modular como 920 ≡ 2 (mód 54) puede descomponerse en ecuaciones separadas, una por cada potencia de primo que divide a 54.
El propósito declarado del artículo es preparar una serie más amplia: del mismo modo que Ax = B condujo a la divisibilidad y Ax + By = C a la factorización única, la clase f(x) = Ny abre la puerta al programa de Langlands, una de las líneas de investigación más profundas de la teoría de números contemporánea.