Simon Rubinstein-Salzedo. (2026). The pentagonal number theorem (Version exp-20261001-98d2cbv1). Expositio. https://expositio.org/papers/exp-20261001-98d2cb/