Equivalência algébrica e validade de passos