propiedad clausurativa de la multiplicacion