theorem Th10: :: BINARI_3:10

Bin1 1 = <*TRUE*>