Como provar que o controle dá certo. Alguns cálculos a mais no mathematica