[≠ briefly, ≠ for short
......where F will be defined shortly. [= in a moment]
We shall prove this theorem shortly, but first we need a key lemma.
However, shortly after learning about Wiener's work, P. Lévy found a more elementary argument.