Added Dasgupta theorem. Submodularity stuff in progress.