A straight line KK′ meets the circumference of a circle at two real or two imaginary points K, K′, and H is the middle point of the real or imaginary chord KK′. If A, B, C, D be any four points on the circumference, and the pairs of straight lines AB, DC, AC, BD, AD, CB meet KK′ at the pairs of points E,E′, F,F′, G,G′; then if any one pair of points be equidistant from H, the two other pairs will also be equidistant.