puzzle and ice app proof