Lemma 1:

Corona