Their proof: https://arxiv.org/abs/2410.20392 (2024)