diff 9506729..999db1f symmetric_mahler_equality_v2.txt
diff --git a/symmetric_mahler_equality_v2.txt b/symmetric_mahler_equality_v2.txt
index f7e5538..a0d3e29 100644
--- a/symmetric_mahler_equality_v2.txt
+++ b/symmetric_mahler_equality_v2.txt
@@ -1465,10 +1465,7 @@ HISTORICAL CONTEXT (background, not prerequisites).
- Bos, L.; Calvi, J.-P.; Levenberg, N. "On the Siciak extremal function
for real compact convex sets." Ark. Mat. 39 (2001), 245-262.
-COMPANION PAPER (context, not a prerequisite).
- - OpenAI. "The Mahler Conjecture for General Convex Bodies."
- Preprint (September 2026). Sharp bound e^n for the nonsymmetric case.
- Not used here; the symmetric argument is independent.
+
END OF PROOF.