sekinanboard

Arithmetic Geometry Language

2 (Proposition)
V is n-dimensional real vector space.
q is quadratic form over V.
If there exists V’s lattice point set L that is inf{q(l)|l element L\{0}>0, q is non-degenerate positive definite.