Schwenk's theorem