도쿄=도쿄 도 공식이 맞다면 도쿄 도 문서와 도쿄 문서의 분리는 어떻게 봐야하는 건가요? 그리고 1943년 이전 도쿄 부 안에 도쿄 시라는 도시가 있었던 것은 어떻게 보아야 하죠?