. "If m is an even number then long division or its decimal form implies m = 2n." . . .