Trudinger's theorem