Prove the following predicate logic sequents using natural deduction:

$$xP$($x$)->$ S $$x$($P$($x$)->$ S$)$