>>617
8010系が登場していれば恐らく9000系は登場していない。
2000年代前半までに3000系列はもちろん、5000系もB更新をせず淘汰まで視野に入れていた。
8010系の先行車ともいうべき8040系はGTOのベクトル制御だったが、
途中からIGBTに変更され、さらに番台区分が細分化されていた可能性はある。