{} V is cone ;
hence ex b₁ being Subset of V st b₁ is cone ; :: thesis: verum