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