I think he presents a line of reasoning that also helps to formalize why finding a convex hull works.