P
Initializing...
A collinear triple has a between relation · Prove2Me