P
Initializing...
(hnu : 0 ≤ nu) : omega nu * omega nu = 2 * nu · Prove2Me