O l’é stæto o primmo teorema de unna çerta relevansa à vegnî demostrou pe mezo de un computer.