Earnshaw's theorem