"if m is a natural number," . . . .