Усе тэарэмы ў дапаможніку прадстаўлены тэкставай фармулёўкай у форме “Дадзена: … Даказаць: …” і наступных выдзеленых крокаў доказу. Гэта, з аднаго боку, робіць доказ тэарэмы даступным большасці навучэнцаў, а з другога боку, як паказвае наш вопыт, больш эфектыўна фарміруе доказныя ўменні навучэнцаў, лагічны складнік іх мыслення.