Sane tiosan, bukti asisten mresidayang ngeverifikasi makasami sane nenten prasida kapicayang ring bukti tulisan tangan, taler ngicen kasayuwaktian  bukti panjang sekadi teorema Feit- Thompson.