그러니까 늦어도 9호선 개통  전에 합쳤다면 지금쯤 9호선도 서울교통공사 관할이었겠지?