P
Initializing...
$S$ is the Fano plane up to relabelling · Prove2Me