06. Kernelization: Nemhauser-Trotter and Expansion Lemma