Necesitamos probar que es cerrado respecto a multiplicación por elementos del anillo A.