Kategori analysere og forstå matematiske bevis, forklare de bærende ideene i et matematisk bevis og utvikle egne bevis