Yeng phon dibuktikan le Bernard Dwork; bukti yeng sama seukali meubeda dari dua yeng phon, meulalui khomologi –adik, dijok le Alexander Grothendieck.