Proof of a quantum Bousso bound | doi.page