“…General methodical aspects of teaching proofs of mathematical statements were considered in (Bradis (Healy, & Hoyles, 2000), the methods of designing and teaching proofs in the course of geometry at secondary and high school 13 (Tarasenkova, 2004), the psychological and pedagogical bases of teaching students proofs 14 (Slepkan, 2004), the application of heuristics in search of the mathematical proof method 15 (p.p.193-224 (Tarasenkova & Akulenko, 2013), the development of senior pupils' skills to prove mathematical statements in the process of learning algebra and the principles of analysis 17 (Kugai, 2007), teaching proofs in the in-depth learning of stereometry 18 (Yatsenko, 1999), the formation of students' skills of proving mathematical statements when learning functions in depth 19 (Kirman, 2010), the teaching of the elements of mathematical logic and the theoretical foundations of proof of math statements 20 (Akulenko, & Leshchenko, 2011), and others. Modern researchers focus their attention on benefits and warnings regarding the usage of computers in learning proofs, based on computer experiments in particular 21 (Shirikova, 2014).…”