small edits to Sparsity proof.  Removed enumerated list at the beginning of the formulation.