The CTL* formula
E[F p F q] is equivalent to the CTL formula EF[p EF q] EF[q EF p]. Inspect the proof(s) for equivalences for Question 3 to see how you could prove such a statement formally.
See Section 3.8.2 of the textbook for a more detailed discussion
of the relative expressiveness of CTL and CTL*.
Back to Question.
Incorrect Answer.
F q] is equivalent to the CTL formula EF[p 
EF[q