P
Initializing...
Corollary B: any two distinct lines of an STS(7) meet in exactly one point · Prove2Me