Nyan adalah teorema rayek phon yeng dibuktikan meupakek komputer.