Resolve remark
Resolve remark

See comment at
https://github.com/input-output-hk/cardano-sl/pull/3033/#discussion_r192387826

> It's habitual, in maths, to say that b_1,…,b_0 is the empty
> list. It's also habitual in software. So this looks uncontroversial.

input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/cardano-sl,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype,input-output-hk/pos-haskell-prototype