The theorem asserts that a positive-definite quadratic form with integer matrix entries will represent all positive integers provided only that it represents those up to 15. So for instance it contains the Four Squares Theorem, since every number up to 15 is the sum of four squares.