Here s/PAn (
see here
) increases by 1.
My first proof
was a bit more difficult.