. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5#5
and this can in turn be reduced to a statement about the natural numbers.