有楽町線、副都心線の7000系10両は半蔵門線08系と置き換えって話を聞いたんだが本当かね