theorem Th10: :: BINARI_3:10
Bin1 1 = <*TRUE*>