Consider $$y_t =a_1 y_{t-1}+a_2 y_{t-2} +...+a_p y_{t-p} +\varepsilon_t $$
The characteristic polynomial would be: $$(1-a_1L -a_2L^2 -...-a_pL^p) $$
Suppose that there is a unit root, say that $L=1$ is a root of the characteristic polynomial. Suppose this is a root of multiplicity 1 and all other roots are greater than 1 in absolute value. I am aware of the concept that $\Delta y_t$ is weakly stationary, but I have not seen a proof for this. I am looking for a proof.