Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
The 15 and 290 theorems are of this form. For example, the 15 theorem says that if a positive definite quadratic form with integer matrix represents all positive integers up to 15, then it represents all positive integers.