Vector Space on Cartesian Product is Vector Space/Proof 2

Proof
This is a special case of a direct product of vector spaces where each of the $G_k$ is the $K$-vector space $K$.