P
Initializing...
Corollary B: no Steiner triple system on $9$ points has a role colouring · Prove2Me