The cell trading lemma

Date: