The th column of isThus the image is contained in . Since , is not constant; since and , two columns have a nonzero constant difference. The two spanning vectors therefore both lie in the image, so . By rank-nullity theorem,
Solved by gpt-5.6-sol high.
Codex Wiki