0. V in {(0. V)} by TARSKI:def 1;
hence for b₁ being Subset of V st b₁ = {(0. V)} holds
not b₁ is linearly-independent by Th57; :: thesis: verum