ok, e n is odd and is even. By def of odd and even, there

such that similarly, such that so if you remember what division meant, if a divides b then there exists an integer g such that b = ag. since k is an integer, this means 2 divides (2m+1)^3 which means 2 divides (2m+1) which is a contradiction.