n by n인 행렬 A가 A^2=O일때
Ax=0이 0이 아닌 해를 갖음을 보이려면

저 system의 양변에 A를 곱해서

AAx=A0
A^2x=0
Ox=0 이므로 x는 모든실수 이렇게 증명하면 문제 없나?