Text this: Equivalencia entre categorias de modulo y el teorema de Weddervurn