一次の自己回帰モデルformula_12は、formula_13ならば、単位根を持つ。