P
Initializing...
$\mathrm I(\mathrm V(J)) = \sqrt J$ · Prove2Me