Theorems in discrete geometry