theorem Th2: :: BINTREE2:2

for T being binary Tree
for t being Element of T holds t is FinSequence of BOOLEAN