[see also: rest
In the remainder of this section we shall be trying to answer the question:......
The map f is fixed for the remainder of the proof.