P
Initializing...
The cycle pattern of σ_p equals the decomposition type of f mod p · Prove2Me