Teoremas em ação utilizados pelos alunos na fatoração de expressões algébricas