P
Initializing...
A rational midpoint lies strictly between its endpoints · Prove2Me