Proofs: Problem 4

Hints

Build the basic outline of a direct proof. Start with declaring your variables and assuming the hypothesis. Write the conclusion at the end as your goal.

Then use the definition of F to convert your goal at the end to plain algebra (no funny new functions).

Finally, use algebra to bridge the gap between start and end.