| dbo:description
|
- matemaattinen käsite (fi)
- typ twierdzenia matematycznego używany głównie w dowodach innych twierdzeń (pl)
- משפט מתמטי המשמש כלי-עזר להוכחת משפטים אחרים (iw)
- matematikai vagy logikai tétel, amellyel más, komplexebb tételek bizonyíthatók (hu)
- théorème utile pour démontrer d'autres théorèmes (fr)
- asserzione matematica (it)
- теорема, используемая как средство доказательства более сложных утверждений (ru)
- en mindre sats för bevisning av större satser (sv)
- izrek za dokazovanje bolj zapletenih izrekov (sl)
- mathematische oder logische Aussage (de)
- مبرهنة يجري إثباتها تمهيدا لاستعمالها في إثبات مبرهنة أخرى (ar)
- proposición demostrada o premisa verdadera (es)
- teorema para provar teoremas mais complexos (pt)
- teorema usat per provar teoremes més complexos (ca)
- theorem for proving more complex theorems (en)
- теорема, яка використовується як засіб доведення складніших теорем (uk)
- malpli grava teoremo uzata por pruvi aliajn teoremojn (eo)
- μία βοηθητική μαθηματική πρόταση, που χρησιμεύει στην απόδειξη κάποιου θεωρήματο (el)
- 用於證明更複雜的定理的定理 (zh)
- pomocné tvrzení používané jako mezikrok při důkazu složitějšího tvrzení (cs)
|
