$\exists H_1,H_2:\quad H_1 \cap H_2$;