Argumentação e prova no estudo de progressões aritméticas com o auxílio do Hot Potatoes - Solis, Alexandre (2008)