Vector space/Direct sum/Residue class space/Fact

Let ${}K$ be a field, and let ${}V$ denote a ${}K$-vector space, together with a direct sum decomposition

${}V=U\oplus W\,,$

with linear subspaces ${}U$ and ${}W$.

Then

${}V/U\cong W\,.$

Proof, Write another proof