Paragraph
We have established both directions so we have completed the proof.
in-context