Proof about Big Dave vacation