theorem zerobs: :: NTALGO_2:6
Nat2BL . 0 = <*0*>