6.1.1.9 Propositional calculus

Problem: Prove in propositional calculus: \[ (F \supset G) \supset((F \supset \neg G) \supset \neg F) . \]