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