Birch's theorem: if f(n) is multiplicative and has a non-decreasing normal order then f(n)=n^{alpha}