Proof of sq_stable__prime_ideal