Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We can choose to the following effect.
Suppose are structures as above over . Suppose that . Then we can find an integer with such that the data over has Property(H).