Proof. [04WZ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

This follows from Theorem 2 in [KNX18]; $\mathbb{Q}$ -factoriality is not included in the statement, but the proof produces such a model. ∎