Proof. [04NF]
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.
Although this follows from Theorem B by [NXY19, Theorem 6.1] (end of the proof) and by [NXY19, §3.4], we sketch the proof for reader’s convenience.
As mentioned in Section 1.5, the retraction over only depends on , so that by Theorem B we may assume that is a toric -scheme. The equality now holds over by Proposition 1.5.2, so that it follows from Definition 1.6.1 that is an affinoid fibration over .
∎