2 ms·Invariant if and only if Mike's dog ate his frog2 points by tw1010 7y agotw1010 7y agoPage 15 in the proof for lemma 8.4.