for k, n, m being Nat st n = 2 |^ k & m is odd holds
n,m are_coprime