A Generalization of Meyers Theorem on Indefinite Quadratic forms in Five or More Variables

Let ∈ denote an arbitrary positive number. Then there exists a k₀ - k₀(∈) such that the congruence (where k is an odd prime)

∑ a_i x_i^k = 0(mod p)