P
Initializing...
Frobenius substitution in cyclotomic fields: σ_p(ζ) = ζ^p · Prove2Me