La conmutatividad del producto concluye la prueba.