Equidistance and proofs