Intersections of three longest paths in polyhedral graphs.