theorem Th7: :: ROBBINS4:7

the carrier of (latt B_6) = {0,1,(3 \ 1),2,(3 \ 2),3}