Ok. However, I am not sure how to do that one either.
Let be distinct. Since is a total ordering on we may assume without loss of generality that . We have two choices, either there exists with in which case take and , else is empty and take and . Regardless, and are disjoint neighborhoods of respectively. The conclusion follows.