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