Exercise 4.2.25

The column space of $P$ is the space that $P$ projects onto. The column space of $A$ always contains all outputs $Ax$ and here the outputs $Px$ fill the subspace $S$. Then rank of $P=$ dimension of $S=n$.