証明は線形空間の次元formula_61についての帰納法で、formula_62ならすべての基底がジョルダン基底だからok、