Let statement 1 be an obvious consequence of the statement 2. Let the statement 1 go before the statement 2 in the text. The statement 1 is actually used to prove statement 2.
I label the statement 2 as a theorem.
Should statement 1 be labeled as a proposition or a lemma?