Cobham–Semenov theorem