Proper way to write a mathematical theorem Consider the Bernoulli Inequality, for instance. Basically it says the following:

For all $x\in\mathbb{R}$ such that $x\geq -1$ and all $n\in\mathbb{Z}^+$, we have that $(1+x)^n \geq 1+nx$. 

I'm concerned about the equivalent ways to rephrase this result, and if they are correctly written. I'm gonna put here two of them.

1) Let $x\in\mathbb{R}$ be such that $x\geq -1$ and let $n\in\mathbb{Z}^+$. Then $(1+x)^n \geq 1+nx$. 
2) If $x\in\mathbb{R}$ is such that $x\geq -1$ and $n\in\mathbb{Z}^+$, then $(1+x)^n \geq 1+nx$.

In the item 1), including a period and writing Then after it is grammatically correct? I see a lot of professors and books writing like this, but this Then is a conclusion from the hypothesis given. I always feels this is wrong in some way, but I'm never sure. The item 2) follows the format if P, then Q. In this case it's very clear, we don't use a period. It's precisely because of this that I feel strange about the first item, but there I didn't use any if, so maybe this is ok. I just want to be sure about the proper way to write this things.
Thank you.
 A: I'm actually a strong proponent of versions like (1) - at least, some of the time.
In a complicated theorem, both the hypothesis and conclusion might be a fair mouthful. As a reader, I'm happy to have them more cleanly separated by a period. Rules like "don't begin a sentence with 'then'" are (to my mind) only valuable insofar as they lead to clear writing, or prevent confusion - I care much more about whether I can follow the statement of a theorem than I do about whether it matches with Strunk & White.

For an example of such a complicated theorem: consider something of the form 

If $x$ is such that, for all $x<y<2x$, if $y$ is prime then $gcd(x, y+1)>1$, then $x$ is odd.

(Ignore the fact that this "theorem" is bonkers.) The fact that the hypothesis itself contains a conditional makes this really awkward to express as a single sentence; I'd prefer it broken in two. And there are definitely theorems this complicated, or more complicated, so while this concern might not arise frequently, it will arise a noticeable amount of the time.
