The phrase "it remains to" is pretty common in mathematics. It can be used in other contexts as well, but let me restrict my question to the abstract realm for concreteness. For example, this would not be an unusual phrasing of a proof:
To show that f is a continuous linear operator A → B, we need to show that f(a)∈B for every a∈A, that f is linear, and that ||f(a)||≤C||a|| for some C.
Take any a∈A. Now f(a)∈B because…
Linearity is an elementary observation.
It now remains to show the continuity estimate. To this end, let…
How should I phrase "It now remains to show" in Latin? The best thing I could come up with is Nunc remanet, ut demonstremus with an object noun or with an accusativus cum infinitivo. Is this the best way to go? Are there other options I should have in mind?
Bonus question: How did those the mathematicians who wrote in Latin express this?