Roth's theorem

Today it means: A fundamental result in Diophantine approximation to algebraic numbers, stating that these numbers cannot have many rational number approximations that are 'very good' (variously defined through history). Full definition →