P
Initializing...
The role postulates force the Fano plane (C1 Theorem 3.6) · Prove2Me