......, the last inequality coming from (5).
This argument comes from [4].
If we restrict A to sections coming from G, we obtain......
Our interest in...... comes from the fact that......
We now come to a theorem which was first proved by......
Two necessary conditions come to mind immediately.
How close does Theorem 1 come to this conjecture?
Along the way, we come across some perhaps unexpected rigidity properties of familiar spaces.
Thus, everything comes down to proving the existence of M.
This is where the notion of an upper gradient comes in.