ExternalURL
補題