P
Initializing...
Corollary A: the Fano plane has a role colouring · Prove2Me