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