Here are a few examples. First, we will set up the proof structure for a direct proof, then fill in the details.