theorem
  <*{},{}*> is tabular by Th4,CARD_1:27;
