Egy síkbeli $A$ véges ponthalmaz háromszögelése alatt $A$ konvex burkának olyan egymásba nem nyúló háromszögekre történő felbontását értjük, amelyben minden egyes háromszög csúcsai $A$ pontjai közül kerülnek ki, és a csúcspontjai kivételével egy háromszög sem tartalmazza $A$-nak egyetlen további pontját sem. Igazoljuk, hogy az $A$ halmaz bármely két háromszögelése ugyanannyi háromszöget tartalmaz.