P
Initializing...
Corollary A: an STS(7) has $7$ lines, three through each point · Prove2Me