Доказування: загальні положення