[section] [section]

[section] [section] [section]

To prove theorem \ref{thm:ort}, we will need the following proposition:

MOO

FOO