Beurling's theorem