×
Lemma #18
