The High Schooler Who Solved a Prime Number Theorem