(0). V is strict finite-dimensional Subspace of V ;
hence ex b₁ being Subspace of V st b₁ is strict ; :: thesis: verum