Young's theorem