text: D’altra parte, gli assistenti alla dimostrazione permettono di verificare tutti i dettagli che non possono essere forniti in una dimostrazione scritta a mano e forniscono la certezza della correttezza di lunghe dimostrazioni come quella del teorema di Feit-Thompson.