The proof works the same way as the one for boolean closure for F and G, i.e., we consider the FG- and GF-formulas as atoms, compute a DNF or CNF and then combine disjunctions or conjunctions of the one or the other kind. This way, we obtain Rabin or Streett formulas.