Convergence Theory for Spectral Deferred Correction