P
Initializing...
Theorem 6: quadratic candidate family with factor two · Prove2Me