Rocha, H. "Mathematical proof: from mathematics to school mathematics." Philosophical Transactions of the Royal Society A. 377.2140 (2019).