A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards