Прямое Математическое Доказательство: Примеры и Методы