text: Por otro lado, los asistentes de prueba permiten verificar todos los detalles que no pueden ser dados en una prueba escrita a mano, y proporcionan certeza de la exactitud de pruebas largas como la del teorema de Feit-Thompson.