On Theorem 10 in "On Polar Polytopes and the Recovery of Sparse Representations"