Kernel Phase

Lemma