P
Initializing...
`q^0 = 1` in `Coef`. · Prove2Me