How to Write a Constructive Proof (Every Odd Integer is the Sum of Three...