A theorem due to Conway et al. (1997) which states that, if a Positive definite Quadratic Form with integral 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.
See also Integer-Matrix Form, Lagrange's Four-Square Theorem, Quadratic Form
References
Conway, J. H.; Guy, R. K.; Schneeberger, W. A.; and Sloane, N. J. A. ``The Primary Pretenders.''
Acta Arith. 78, 307-313, 1997.
Duke, W. ``Some Old Problems and New Results about Quadratic Forms.'' Not. Amer. Math. Soc. 44, 190-196, 1997.