Introducción. Desconstructor de fórmulas matemáticas que demuestra pruebas de teoremas con personalización de parámetros