theorem :: BINARI_6:12

Nat2BL is one-to-one