if a is a natural number then b is real, provided that m is not a complex.