Finished the rest of Lemma 9 for deterministic models