for a, b, n being Nat st a is odd & 2 |^ n divides a * b holds
2 |^ n divides b