Mõiste: tõestamine
Ülemmõiste: sooritamine