View of Heuristic arguments and rigorous proofs in secondary school education | Teaching Mathematics and Computer Science