Title: Ke Li's lemma for quantum hypothesis testing in general von Neumann algebras

Abstract: A lemma stated by Ke Li in \cite{KeLi} has been used in e.g.\cite{DPR,DR,KW17,WTB,TT15} for various tasks in quantum hypothesis testing, data compression with quantum side information or quantum key distribution. This lemma was proven in finite dimension only (with an easy extension to type I von Neumann algebras). Here we show that the use of modular theory allows to give more transparent meaning to the objects constructed by the lemma, and to prove it for general von Neumann algebras.