Theorem 8 is incorrect. It was predicated on the fact that
A^T A <= \lambda_{max}^2(A) I,
where \lambda_{max} is the maximum eigenvalue.
It turns out this is not true and the appropriate
inequality is
A^T A <= \sigma_{max}^2(A) I,
where \sigma_{max} is the maximum singular value.