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