for A being Subset of V st A in {I} holds
A is affinely-independent by TARSKI:def 1;
hence for b₁ being Subset-Family of V st b₁ = {I} holds
b₁ is affinely-independent by Def5; :: thesis: verum