Как записать доказательство: методы и примеры