Источник TeX:
EF \cap AD = G