Text this: Teorema de descomposición de módulos sobre dominios de ideales principales