P

Initializing...

`q^1` is the scalar `X`. · Prove2Me