\lambda x \in U_1 \cap U_2