Lista de los puntos en el léxico de la orden, de tal manera que $(x_i < x_{i+1})$ o $(x_i=x_{i+1} \wedge y_{i} < y_{i+1})$$i\in\{1,2,\ldots n-1\}$. A continuación, la agrupación de $\{\{1,2,3\},\{4,5,6\},\ldots,\{n-2,n-1,n\}\}$ en grupos de tres no contiene triángulos de intersección.
Para $n=3$, el teorema es trivialmente cierto. Ahora, supongamos que el teorema es cierto para $n=3k$, y considerar la posibilidad de $3k+3$ puntos en posición general. El léxico más pequeño $3k$ puntos no contienen triángulos de intersección cuando se agrupan de esta forma, por la hipótesis inductiva. Por otra parte, la línea vertical en $x=\frac{1}{2}(x_{3k} + x_{3k+1})$ separa la primera $k$ triángulos a partir de la última triángulo: todos los puntos, pero (en la mayoría) de uno de los primeros a $k$ triángulos mentir a su izquierda, y todos los puntos, pero (en la mayoría) de uno de los $(k+1)$-st triángulo de mentir a su derecha. Llegamos a la conclusión de que el final triángulo no pueden cruzarse cualquiera de las $k$ triángulos, y por lo tanto, el teorema es cierto para $n=3k+3$. La prueba es por inducción completa en $k$.