Roth's theorem

Etymology
Named after.

Proper noun

 * 1)  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).