set has a Cartesian product structure. This is sometimes better than the above bounds. References Euclidean plane geometry Theorems in discrete geometry Theorems in combinatorics Articles containing proofs