reserve L for Ortholattice,
  a, b, c for Element of L;

theorem Th11:
  for a being set st a in the carrier of Benzene holds a c= {0,1,2
  } by Th10,CARD_1:51;
