Aon de andere kant kinne mèt bewiesassistente alle details were gecontroleerd waat neet kin mèt handgesjreve bewies. Ze beje ouch de zekerheid vaan correctheid vaan kange bewieze, zoe wie de Feit-Thompson-stelling.