The development of the concept of mathematical proof in grammar school pupils | lit.salon