Definiția cu ID-ul 808135:

Explicative DEX

teoremă f. propozițiune matematică de demonstrat.