P
Initializing...
Dris parametrisation: $2m^2 = \sigma(p^k)s$ and $\sigma(m^2) = p^k s$ · Prove2Me