theorem
  [:L1,L2:].: = [:L1.:,L2.: :];
