Fix to hole in Theorem 2