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