theorem
  L1 is Stone & L2 is Stone implies [:L1,L2:] is Stone
  by ProductIsSStone,FILTER_1:38;
