
$0 \leq n_0 ( {\bf v}
  ) < 2^k $
