京急と京成、新形式が登場するのはどちらが先なのだろうか