Proved, the site's label; the site's curator credits Pilatte. The standing rests on two accepted claim pages: Pilatte 2023, the construction refereed in Compositio Mathematica (2024), and an AI-generated elementary proof, first posted as a Lean development on 2026-08-25 and registered on the site's proof-claims page on 2026-09-15 with a write-up, whose Lean theorem, in an earlier form of the construction, this corpus built and audited.