consider A1, A2 being Subset of such that
f3: ( A1 c= A2 & A = Inter A1,A2 ) by U2;
thus ex b₁, B being Subset of st A = Inter B,b₁ by f3; :: thesis: verum