15 and 290 theorems
In mathematics, the 15 theorem or Conway–Schneeberger Fifteen Theorem, proved by John H. Conway and W. A. Schneeberger in 1993, states that if a positive definite quadratic form arising from an integer matrix represents all positive integers up to 15, then it represents all positive integers. Conway and Schneeberger chose not to publish their proof because Manjul Bhargava found a simpler proof, published in 2000.