Paragraph
First we proved the following result.
in-context