P
Initializing...
Conjecture 1: $H_a(d)=1+\frac{(d-1)(d-2)}{2}$ · Prove2Me