Часть схемы решения задачи на построение, в которой доказывается то, что построенная фигура удовлетворяет условиям задачи на построение, называется