원론적 표현의 유도: 소수 정리