P
Initializing...
$d+1-\Delta_\pm=\Delta_\mp$ · Prove2Me