Hu Jia
여기서 후자 (모든 p진 정수환들의 곱)는 중국인의 나머지 정리에 의한 것이다.