P
Initializing...
Existence of W(k) and a ramified quadratic extension W(k)[√ p ] · Prove2Me