Aristóteles acelera muito a matemática ao resolver o problema da verificação. Experimente aqui: