As an application the reader may wish to prove...
(see for instance here)
The reader may want to show that for our example...
What are some standard ways (if it is a common practice as in English) to interpret in French the expressions
the reader may wish to/the reader may want to