
theorem Th13:
  for T being non empty TopSpace, A,B being Subset of T, G being
  Rain of A,B, p being Point of T holds Rainbow(p,G) c= DYADIC
by Def5;
