1
Non-trivial means
g
⁄∈{
1
,p
-
1
}
.