Tableau method Quantifier — Problem 2: [for all x (P(x) -> Q(x))] -> [(for all x P(x)) -> (for all x Q(x))]

[Kargulix]

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