An analytic proof of numerical stability of Gaussian collocation for delay differential equations