Paragraph
Equivalent to the original theorem.
in-context