We prove an identity for Littlewood--Richardson coefficients conjectured by Pelletier and Ressayre. The proof relies on a novel birational involution defined over any semifield.

Keywords: Symmetric functions, Littlewood--Richardson coefficients, partitions, Schur functions, Schur polynomials, birational combinatorics, detropicalization, partitions.

Mathematics Subject Classifications: 05E05