Claim: Every time the algorithm makes a mistake, some blocks are demoted.

Proof: This claim is obvious from the algorithm. Every time it makes a mistake, the chosen block will be demoted.

Proof by inspection, my favourite.