15 and 290 theoremsの例文

例文

1. Recently, the 15 and 290 theorems have completely characterized universal integral quadratic forms : if all coefficients are integers, then it represents all positive integers if and only if it represents all integers up through 290; if it has an integral matrix, it represents all positive integers if and only if it represents all integers up through 15.