consider A being Subset of U;
set IT = {A};
{A} = Inter (A,A) by ThA1;
hence ex b₁ being Subset-Family of U ex A, B being Subset of U st b₁ = Inter (A,B) ; :: thesis: verum