order7짜리 순환군에서, a가 order7, x가 order 3짜리 원소일때, x^(-1) a^(i) x = a^(2i)이다    <- 이게 어디서 나오는걸가요? 제 작은 머리로는 도저히 못찾겠어요..