f는 다음 형태의 2차 다항식이다:
f（x, y, z） = A x^2 + B y^2 + C z^2 + D x y + E y z + F z x + G x + H y + I z + J
단, A, B, C, D, E, F, G, H, I, J ∈ Z 이고, 모든 계수의 절댓값은 M 이하이다. （즉, |A|, |B|, ..., |J| ≤ M）

f는 영역 내의 모든 정수 점에서 서로 다른 값을 갖는다. 즉,
for all （x1, y1, z1）, （x2, y2, z2） ∈ [-N, N]^3, （x1, y1, z1） ≠ （x2, y2, z2） implies f（x1, y1, z1） ≠ f（x2, y2, z2）

이차형식 행렬
Q = [[A, D/2, F/2],
     D/2, B, E/2],
     F/2, E/2, C]]
는 양의 정부호이다.

N과 M은 주어진 상수이다.