Proving that span(W) = W given that W is a subspace (Part 1)

This is the first part of a two part proof. I cut this proof into two because it was becoming way too long. The result is some detailed proof concepts which you'll often find in linear algebra/proofing classes.