A^nがゼロでないとしてこれでゼロに映らないベクトルを持ってくる。
するとn+1この独立なベクトルが存在することになり矛盾。