Proof of my winter hat game