Rigorous check: BCS energy approximation is exact for the reduced pairing model in the large-volume limit | arXiv News