Lemma G-H

G

H