Tech Note T22: Bounding sum of operators

Here, I prove Lemma 3.3 of Watrous (2018) in some detail and point out the neat technique used to cast a sum of operators as a product of operators in a larger, augmenting space, which mixes quantum states and amplitudes. All references in this section refer to Watrous (2018).