Task: Text Categorization
Input (English): The rate at which the operation implied by this statement occurs is given by the Berry-Esseen theorem. Paul Levy proved a version of this statement using the technique of characteristic functions borrowed from Poincare, while various local proofs of it were given by Richard von Mises. A version of this statement is named after Lyapunov and requires the satisfaction of his namesake conditions, while a weaker condition than Lyapunov's is due to Lindeberg. The Edgeworth expansion was developed as an improvement of this statement, the proof of which is similar to the proof of the law of large numbers. For ten points, identify this theorem which holds that the distribution of the average of a set of arbitrarily distributed variables converges to the normal distribution. 
Output (English): Science