Paragraph

We have established both directions so we have completed the proof.

in-context