Si "S" contiene sólo dos puntos, "a" y "b", entonces el conjunto de todos los puntos que equidistan de ambos es un hiperplano de codimensión 1.