A new proof of the celebrated Roth's theorem in Diophantine approximation is provided. This new proof allows more generality in two directions: first from the quantitative point of view and secondly it extends to arbitrary fields endowed with a family of valuations satisfying the product formula.
