p en A, diferente de p, y también de p, tal que d(p, p) < d(p, p).