[tribe]

When this proof has been presented to me in the past, I believe we assume that m is a positive integer. This is mentioned in one of the comments, but I agree that it should be more clear in statement of the theorem.