また、"p" を素数とし、"a" を "p" の倍数でない整数("a" と "p" は互いに素)とするときに、