Extensive list of invariants in Lemma 1 to aid in suboptimality proof