The proof will be divided into a sequence of lemmas.

Next divide J in half.

On dividing through by f, we see that......