Paragraph

First we proved the following result.

in-context