となれば、JR北海道(四国もか?)は国鉄のままでよかったことになる。