Consideremos, por ejemplo, el subanillo formula_22 de formula_23 allí, la multiplicación de un racional por un entero no es necesariamente un entero.