Here s/PAn (see here) increases by 1.

My first proof was a bit more difficult.