P
Initializing...
Existence of a multiplicative character of order $\gcd(\#F^\times, d)$ · Prove2Me