東武は例えば10000系は10000系、10050系は10050型か10000系50番台と呼ぶのがフォーマルだったハズ