A new tool in the calculus of variations: Gehring's theorem