word choice - Use of the adverb first in conjunction with then

Are the use and the positions of the adverbs first and then correct in the following two sentences?

We prove, first, two preliminary properties, and, then, the whole theorem.

We first show the formula, and then prove that its value is positive.

If the sentences are incorrect, or if they do not flow smoothly, how could they be fixed or improved?

Thanks.