Teorema punika pinaka teorema sané pinih agéng kapertama sané kabuktiang nganggén komputer.