P
Initializing...
Four equidistant witnesses give six isosceles pairs per vertex · Prove2Me