Todistaminen lukion pitkässä matematiikassa - Viertola, Anna-Kaisa (2011)