P
Initializing...
$\mathrm{HC}(t)$ for $t\le 3$ (Hadwiger 1943) · Prove2Me