christmas stocking theorem