Question 720912
are the points distinct? The answer is yes if two points coincide