Correct Answer.
C
G
p has the meaning of the infinite conjuction E
G
p
E
G
E
G
p
E
G
E
G
E
G
p
...
Therefore from C
G
p
E
G
E
G
p being true it is easy to see that E
G
E
G
p is true.
Back to Question.
Next Question.
Correct Answer.
EG EGp 
EG EGp being true it is easy to see that EG EGp is true.