Homepage › Solution manuals › Gilbert Strang › Introduction to Linear Algebra › Exercise 3.2.29
The nullspace of B = [ AA ] contains all vectors x = [ y − y ] for y in R4.