A conjecture of De Giorgi on the square distance function