Introdução. Desconstrutor de fórmulas matemáticas demonstrando provas de teoremas com personalização de parâmetros