A Win-graph-based Proof of the Champion Inequality - 10.N0/aer.202603.A.0404.0002