P
Initializing...
The sign of $d$ can be chosen so that $a d > 0$ · Prove2Me