P

Initializing...

Normal form: the lines through $0$ can be made $\{0,1,2\}, \{0,3,4\}, \{0,5,6\}$ · Prove2Me