Se verifica que esta multiplicación es compatible con la suma.