Paragraph

Suppose that you would like to prove the following implication: