Mathematical proof: meaning, types, attributed functions, and relevance as part of math teachers’ professional knowledge - Alfaro-Carvajal, Cristian (Universidad Nacional, Costa Rica, 2019)