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