A combinatorial theorem in plane geometry