Sane tiosan, buktixa0asisten mresidayang ngeverifikasi makasami sane nentenxa0prasida kapicayangxa0ring bukti tulisan tangan, taler ngicen kasayuwaktianxa0 bukti panjang sekadi teorema Feit- Thompson.