Механизм построения прямого доказательства: Теория и практика