양자 알고리즘의 특정 구현 (쇼어 알고리즘의 수론 기반) 에서의 분석적 수론