지금 사진에서 밑부분까진 어느정도 이해함 일단 j<=log_p(2n) 이여야 하는걸 알게됐는데 이게 왜 R<=log_p(2n)이 되는거야? 일단 p^j|2nCn인걸 보여야할거같은데 이건 어떻게 보임?