P
Initializing...
$c_q(0)=\varphi(q)$ · Prove2Me