I have to prove these predicate logic problems. x P(x)  (x P(x)) { }

(x P(x))  x P(x) { }