2048 Puzzle proof