可设n不是正的自然数 然后用反证法证明2^k*m=n不成立
当n=0时
2^k*m=0
得m=0 与题不合
当n<0时
2^k*m<0
得m<0 与题不合

所以假设n不是正的自然数不成立
所以原题成立