It is shown that a system of congruences
1(x) ≡ . . . ≡ ![](//static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20190726101614098-0181:S0008439500008985:S0008439500008985_inline1.gif?pub-status=live)
(x) = 0 (mod m)
where each
i(x) =
i,(x1, .. . ,x2,) is a form of degree at most k has a nontrivial solution x satisfying |xi|≦cm(½)+∊ (i=1,...,S)
with c = c(k,r,∊), provided that ∊ > 0 and that S > S1(k,r,∊).