> Naturalmente, a dificuldade/inviabilidade da prova cresce à medida que o > programa torna-se mais complexo. Na verdade, o que mais atrapalha demonstrar que um programa pára são os loops (tem que provar que a condição vai se tornar falsa algum dia)... -- Wendel