Removes outdated part of open problem.
Improves corollary from Sigma_k to Delta_k.