LTL — Problem 5: Write LTL formula for state s expressing "if A occurs in stats s, then from s' onwards, A will always occur"

[Kargulix]

Are my solutions correct? The number in the circle indicates the problem/task number. Thank you and best regards!