The proof will be divided into a sequence of lemmas.
Next divide J in half.
On dividing through by f, we see that......