P
Initializing...
The cyclic candidate $K_p$ is a necessary lower bound in dimension at least three · Prove2Me