P
Initializing...
A cross-ratio product identity forces one normalized separation to be small · Prove2Me