Математические доказательства отсутствия решений уравнений