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