Chebotarev theorem on roots of unity
The Chebotarev theorem on roots of unity was originally a conjecture made by Ostrowski in the context of lacunary series. Chebotarev was the first to prove it, in the 1930s.
Source: Wikipedia — Chebotarev theorem on roots of unity (CC BY-SA 4.0)