theorem Th8: :: ROBBINS4:8

for a being set st a in the carrier of (latt B_6) holds
a c= Segm 3