The 15 theorem of John H. Conway and W. A. Schneeberger (Conway-Schneeberger Fifteen Theorem), proved in 1993, states that if an integral quadratic form with integral matrix represents all positive integers up to 15, then it represents all positive integers.