Diameter of N-Cube/Corollary
Corollary to Diameter of N-Cube
Thus any $x, y$ so chosen is a vertex, by the definition of vertex.
Certainly $x \ne y$ because were they equal, the distance between them would be zero, and the sum would not be maximal.
The result follows from the definition of a diagonal.