Määritelmä

Beweisfunktion

Perusmääritelmä

Yksityiskohtainen selitys