Proof Puzzles
    (a hint)