Varian's_theorems