Past exam of the year 1 of the computer science course of the University of Oxford / 2017 / Digital systems, linear algebra, introduction to formal proof / 4 / c / Solution

Writing the columns as $a_1,a_2,a_3$, matrix multiplication givesThe column space is the linear span of these columns, so this particular linear combination belongs to it. The assertion holds for every vector of coefficients $y$.