IMAGES: 2510.12787v3

QKD-Lemma1.png

Schur-convex.png

diagram_3.png

error_step.png

failed-proofstep.png

full_proof_step_5.png

proof_step.png