Paragraph

Now the formal proof: