해석적 수론에서 체법의 적용