Entonces el conjunto de todos los múltiplos de 3 es el ideal principal generado por 3, puesto que un entero "n" es múltiplo de 3 precisamente cuando existe un número entero "k" tal que formula_3.