theorem zerobs: :: NTALGO_2:6

Nat2BL . 0 = <*0*>