Todistuskaavakkeet

Välitodistukset ovat luvussa 6.6.