>>589 において，n=2 としたものが >>587
つまりベクトルの項数ではなく個数が 2 個
>>593 は n=2 で正しく証明してるから，帰納法を使うなら m ではなく n についてやらなきゃダメ
それが >>608