G.PC.4.c.iv: coordinates of the endpoints of a diameter.