Paragraph
Here is a complete proof:
in-context