Example

After substitution of a positive integer for X, the divisibility condition remains valid (as substitution is a morphim of rings). For instance, for a = 2 and m = 3, we find 7 | 2^3h - 1 for every positive integer h.