P

Initializing...

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