number theoretician