\(N \geq K\) ならば \(2^N / 2^K = 2^{N-K}\) 個, そうでなければ \(0\) 個である.