A theorem due to Conway et al. (1997) which states that, if a positive definite quadratic form with integer matrix entries represents all natural numbers up to 15, then it represents all natural numbers. This theorem contains Lagrange's four-square theorem, since every number up to 15 is the sum of at most four squares.