
theorem
  for FT being filled non empty RelStr, A,B being Subset of FT st FT
  is symmetric & A misses (B^b) holds A^b misses B by Th8;
