consider v being Element of V;
{v} is finite Subset of V ;
hence ex b₁ being Subset of V st
( not b₁ is empty & b₁ is finite ) ; :: thesis: verum