generated at
既約剰余類
\mathbb{Z}/n\mathbb{Z}の元の中でnと互いに素な元