theorem Th3: :: NAT_5:3

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