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.