Translation of "Theorem" in Finnish

Obviously, the theorem is true for finite sets.

- Lause on ilmiselvästi tosi äärellisille joukoille.
- Lause on ilmiselvästi totta äärellisille joukoille.
- Lause ilmiselvästi pätee äärellisille joukoille.
- Lause pätee ilmiselvästi äärellisille joukoille.

Note that this theorem does not assume the existence of such an object.

- Huomaa, että tämä lause ei oleta, että kyseinen asia olisi olemassa.
- Huomaa, että tämä lause ei oleta kyseisen asian olemassaoloa.

Now, we show how this lemma can be used to prove our main theorem.

- Nyt näytämme miten tätä lemmaa voi käyttää päälauseen todistamiseen.
- Nyt näytämme miten tätä aputulosta voi käyttää päälauseen todistamiseen.
- Nyt osoitamme miten tätä lemmaa voi käyttää päälauseen todistamiseen.
- Nyt osoitamme miten tätä aputulosta voi käyttää päälauseen todistamiseen.
- Nyt me näytämme miten tätä lemmaa voi käyttää päälauseen todistamiseen.
- Nyt me näytämme miten tätä aputulosta voi käyttää päälauseen todistamiseen.
- Nyt me osoitamme miten tätä lemmaa voi käyttää päälauseen todistamiseen.
- Nyt me osoitamme miten tätä aputulosta voi käyttää päälauseen todistamiseen.

Pythagoras' theorem says that the square of the hypotenuse is equal to the sum of the squares of the other two sides.

- Pythagoraan lauseen mukaan hypotenuusan neliö on yhtä suuri kuin kahden muun sivun neliöiden summa.
- Pythagoraan lauseen mukaan hypotenuusan neliö on yhtä suuri kuin kahden muun sivun neliöitten summa.