 By the art gallery theorem, there exists a point interior to at which can be placed so that the edges from to the vertices of do not cross any other edges, completing the proof.The induction step of this proof is illustrated at right.De Fraysseix, Pach and Pollack showed how to find in linear time a straight-line drawing in a grid with dimensions linear in the size of the graph, giving a universal point set with quadratic size.