The first proves a law of large numbers as in Theorem 2.3 under relatively weak assumptions on the expan- sion coefficients, the second is a more involved induction argument proving the central limit ...