Lemma 4.9. Assuming that:

Then G preserves all limits which exist in D.