Swan's theorem