Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Digital systems, linear algebra, introduction to formal proof resit / 5 / a / i / Solution

True. The rank-nullity theorem gives $\dim \mathcal{N}(A)=n-r=0$. The only vector in this zero-dimensional kernel of a linear map is the zero vector.