P
Initializing...
For a principal field with λ(R) ≠ 0 and e(R) ≠ 0 · Prove2Me