Para eso, nos falta por probar que la multiplicación es asociativa, distributiva y que hay una función identidad para la multiplicación.