text: Da l’atra parte, i ascistenti de preuve permettan de verificâ tutti i detaggi che no peuan ëse fornii inte unna preuva scrita à man e dan a çertessa da correttessa de preuve longhe comme quella do teorema de Feit-Thompson.