Di sisi laen, asisten buktik memungkenkan verifikasi mandum detail yeng hana jeut dijok dalam bkti tulehsan jaroe, ngen dijok keupastian kebenaran bukti panyang lage teorema Feit-Thompson.