Proof of sq_stable__integ_dom_p