equidistance postulate