And by the fact that it's a subspace, we also know that if we multiply any member of our subspace by a scalar -- so the fact that those guys are members of our subspace -- we also know that if I pick one of them, let's say a, and I multiply a by some scalar, that this is also going to be a member of our subspace. And we sometimes call this closure under scalar multiplication. And then a somewhat redundant statement is that V, well it must contain the zero vector.